20655 search results - page 99 / 4131 » Exploring Software Systems |
115
Voted
AMAST
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. When designing an open system, there might be no implementation available for certain components at verification time. For such systems, verification has to be based on a...
112
Voted
AVI
2006
15 years 4 months ago
2006
Researchers have explored the design of ambient information systems across a wide range of physical and screen-based media. This work has yielded rich examples of design approache...
118
Voted
CODES
2009
IEEE
15 years 9 months ago
2009
IEEE
This paper presents a system-level design methodology for networked embedded systems that exploits existing data-redundancy to increase their reliability. The presented approach n...
146
Voted
EMSOFT
2010
Springer
15 years 18 days ago
2010
Springer
A crucial objective in battery operated embedded systems is to work under the minimal power consumption that provides a desired level of performance. Dynamic Voltage Scaling (DVS)...
103
click to vote
ISSRE
2002
IEEE
15 years 7 months ago
2002
IEEE
Recovery systems must save state before a failure occurs to enable the system to recover from the failure. However, recovery will fail if the recovery system saves any state corru...