4993 search results - page 716 / 999 » A System Approach to Energy Management |
203
click to vote
APN
2008
Springer
15 years 8 months ago
2008
Springer
Model checking is a powerful and widespread technique for the verification of finite distributed systems. However, the main hindrance for wider application of this technique is the...
174
click to vote
COMAD
2009
15 years 7 months ago
2009
Most database systems use ARIES-like logging and recovery scheme to recover from failures and guarantee transactional consistency. ARIES relies on the Write-Ahead Logging (WAL) pr...
145
click to vote
OTM
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Model Driven Engineering (MDE) aims to help software deto abstract the system implementations by means of models and meta-models. In Web-based Collaborative Information S...
335
click to vote
RTAS
2011
IEEE
14 years 10 months ago
2011
IEEE
Abstract—Home area networks (HANs) promise to enable sophisticated home automation applications such as smart energy usage and assisted living. However, recent empirical study of...
171
click to vote
MOBISYS
2006
ACM
16 years 6 months ago
2006
ACM
We introduce a novel infrastructure supporting automatic updates for dynamic content browsing on resource constrained mobile devices. Currently, the client is forced to continuous...