3255 search results - page 482 / 651 » Usage-Centered Design and Software Engineering: Models for I... |
146
click to vote
ICSE
2000
IEEE-ACM
15 years 10 months ago
2000
IEEE-ACM
This paper describes an experiment to use the Spin model checking system to support automated verification of time partitioning in the Honeywell DEOS real-time scheduling kernel. ...
198
click to vote
SIGSOFT
2007
ACM
16 years 7 months ago
2007
ACM
Finding flaws in security protocol implementations is hard. Finding flaws in the implementations of sensor network security protocols is even harder because they are designed to p...
173
click to vote
WWW
2007
ACM
16 years 7 months ago
2007
ACM
Object-oriented programming is the current mainstream programming paradigm but existing RDF APIs are mostly tripleoriented. Traditional techniques for bridging a similar gap betwe...
153
click to vote
EUROSYS
2007
ACM
16 years 3 months ago
2007
ACM
Understanding the detailed behavior of an operating system is crucial for making informed design decisions. But such an understanding is very hard to achieve, due to the increasin...
170
click to vote
CODES
2008
IEEE
16 years 27 days ago
2008
IEEE
Adaptive Body Biasing (ABB) is a popularly used technique to mitigate the increasing impact of manufacturing process variations on leakage power dissipation. The efficacy of the ...