5604 search results - page 1024 / 1121 » Becoming Increasingly Reliable |
129
click to vote
SIGADA
2005
Springer
15 years 10 months ago
2005
Springer
The purpose of this research paper is to examine (1) why formal methods are required for software systems today; (2) the Praxis High Integrity Systems’ Correctness-by-Constructi...
173
click to vote
EUROGP
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Wireless sensor networks (WSNs) are medium scale manifestations of a paintable or amorphous computing paradigm. WSNs are becoming increasingly important as they attain gr...
149
click to vote
ACMDIS
2004
ACM
15 years 10 months ago
2004
ACM
This paper continues the movement from technology centered to human centered approaches in the study of tasks that involve finding, understanding, and using information, and tools...
171
click to vote
ACMMSP
2004
ACM
15 years 10 months ago
2004
ACM
Feedback-directed optimization has become an increasingly important tool in designing and building optimizing compilers. Recently, reuse-distance analysis has shown much promise i...
138
click to vote
CASES
2004
ACM
15 years 10 months ago
2004
ACM
+ With more applications being deployed on embedded platforms, software protection becomes increasingly important. This problem is crucial on embedded systems like financial transa...