Research graph
References from Autonomic goal-oriented device management for Smart Environments. Local targets link to admitted publications; unresolved targets remain external evidence.
Unresolved reference
External reference
What planner for ambient intelligence applications?
10.1109/tsmca.2004.838465 · 2005 · External reference
Unresolved reference
External reference
Statechart testing method for aircraft control systems
10.1002/stvr.217 · 2001 · External reference
10.1109/is.2008.4670480
10.1109/is.2008.4670480 · External reference
The DOG gateway: Enabling ontology-based intelligent domotic environments
10.1109/tce.2008.4711217 · 2008 · External reference
10.1007/978-3-540-88564-1_51
10.1007/978-3-540-88564-1_51 · External reference
10.1109/percomw.2010.5470666
10.1109/percomw.2010.5470666 · External reference
10.21236/ada439472
10.21236/ada439472 · External reference
10.21236/ada439638
10.21236/ada439638 · External reference
10.1109/iscit.2009.5341188
10.1109/iscit.2009.5341188 · External reference
Automatic verification of finite-state concurrent systems using temporal logic specifications
10.1145/5397.5399 · 1986 · External reference
Unresolved reference
External reference
Multi-agent smart environments
10.3233/ais-2009-0007 · 2009 · External reference
10.1145/800157.805047
10.1145/800157.805047 · External reference
Intelligent energy optimization for user intelligible goals in smart home environments
10.1109/tsg.2012.2214407 · 2012 · External reference
Sat based enforcement of domotic effects in smart environments
10.1007/s12652-013-0183-x · 2013 · External reference
10.1109/ie.2011.36
10.1109/ie.2011.36 · External reference
Abstract interpretation frameworks
10.1093/logcom/2.4.511 · 1992 · External reference
10.1007/11853565_2
10.1007/11853565_2 · External reference
Automated design of building automation systems
10.1109/tie.2009.2032209 · 2010 · External reference
A note on two problems in connexion with graphs
10.1007/bf01386390 · 1959 · External reference
10.1007/978-3-540-31842-2_26
10.1007/978-3-540-31842-2_26 · External reference
Complexity results for HTN planning
10.1007/bf02136175 · 1996 · External reference
Unresolved reference
External reference
Fibonacci heaps and their uses in improved network optimization algorithms
10.1145/28869.28874 · 1987 · External reference
10.1201/b14835
10.1201/b14835 · External reference
Unresolved reference
External reference
A context-aware service provision system for smart environments based on the user interaction modalities
10.3233/ais-120190 · 2013 · External reference
A translation approach to portable ontology specifications
10.1006/knac.1993.1008 · 1993 · External reference
Statecharts: A visual formalism for complex systems
10.1016/0167-6423(87)90035-9 · 1987 · External reference
Unresolved reference
External reference
10.1145/1107548.1107600
10.1145/1107548.1107600 · External reference
A test sequence selection method for statecharts
10.1002/1099-1689(200012)10:4<203::aid-stvr212>3.0.co;2-2 · 2000 · External reference
Unresolved reference
External reference
From devices to tasks: Automatic task prediction for personalized appliance control
10.1007/s00779-004-0273-z · 2004 · External reference
10.1109/iscas.2007.378779
10.1109/iscas.2007.378779 · External reference
10.1007/978-3-642-17358-5_12
10.1007/978-3-642-17358-5_12 · External reference
Unresolved reference
External reference
10.1109/iscc.2010.5546635
10.1109/iscc.2010.5546635 · External reference
A user-centered design approach to personalization
10.1145/345124.345139 · 2000 · External reference
The Sat4j library, release 2.2 system description
10.3233/sat190075 · 2010 · External reference
10.1109/apsec.2005.59
10.1109/apsec.2005.59 · External reference
Unresolved reference
External reference
10.1109/ictel.2008.4652663
10.1109/ictel.2008.4652663 · External reference
Constructing home network systems and integrated services using legacy home appliances and web services
10.4018/jwsr.2008010105 · 2008 · External reference
10.1109/iscc.2010.5546634
10.1109/iscc.2010.5546634 · External reference
Towards automatic personalization of device controls
10.1109/tce.2009.4814445 · 2009 · External reference
Comparing end-user and intelligent remote control interface generation
10.1007/s00779-005-0019-6 · 2006 · External reference
10.1007/3-540-45416-0_5
10.1007/3-540-45416-0_5 · External reference
Keeping the resident in the loop: Adapting the smart home to the user
10.1109/tsmca.2009.2025137 · 2009 · External reference
10.1109/achi.2010.30
10.1109/achi.2010.30 · External reference
How to communicate smartly with your house?
10.1504/ijahuc.2011.040116 · 2011 · External reference
10.1145/1629575.1629583
10.1145/1629575.1629583 · External reference
10.1109/icstw.2008.7
10.1109/icstw.2008.7 · External reference
Unresolved reference
External reference
10.1109/aero.2012.6187403
10.1109/aero.2012.6187403 · External reference
The computer for the 21st century
10.1038/scientificamerican0991-94 · 1991 · External reference
