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