169 search results - page 21 / 34 » From Operating-System Correctness to Pervasively Verified Ap... |
CL
2008
Springer
13 years 10 months ago
2008
Springer
Currently available application frameworks that target the automatic design of real-time embedded software are poor in integrating functional and non-functional requirements for m...
EUROSYS
2010
ACM
14 years 7 months ago
2010
ACM
The benefits of virtualized IT environments, such as compute clouds, have drawn interested enterprises to migrate their applications onto new platforms to gain the advantages of ...
SMC
2007
IEEE
14 years 4 months ago
2007
IEEE
— Since family members have their unique features when living in a smart home environment, user identifications are able to achieve without any tags. In this paper, we propose T...
IJCAI
1993
13 years 11 months ago
1993
We introduce and use a new methodology for the study of logics for action and change. The methodology allows one to define a taxonomy of reasoning problems, based in particular on...
ISSTA
2004
ACM
14 years 3 months ago
2004
ACM
The notion that certain procedures are atomic is a fundamental correctness property of many multithreaded software systems. A procedure is atomic if for every execution there is a...