1458 search results - page 115 / 292 » Extended Term Rewriting Systems |
CODES
2008
IEEE
15 years 4 months ago
2008
IEEE
This paper presents a system synthesis approach for dependable embedded systems. The proposed approach significantly extends previous work by automatically inserting fault detect...
RTSS
2005
IEEE
15 years 3 months ago
2005
IEEE
Energy reduction is critical to increase the mobility and to extend the mission period in the development of today’s pervasive computing systems. On the other hand, however, ene...
WIKIS
2009
ACM
15 years 4 months ago
2009
ACM
The work presented in the poster describes our collaborative approach to managing systems monitoring information in a Semantic Wiki. This allows to extend the applicability of man...
PERVASIVE
2007
Springer
15 years 4 months ago
2007
Springer
We have developed a series of ambient information systems and used each in our research lab for extended periods of time. The systems use technologies such as RFID, RSS, and Phidg...
SIGSOFT
2003
ACM
15 years 3 months ago
2003
ACM
Model checking and other finite-state analysis techniques have been very successful when used with hardware systems and less successful with software systems. It is especially di...