1109 search results - page 112 / 222 » Software verification for TinyOS |
115
Voted
APSEC
2004
IEEE
15 years 8 months ago
2004
IEEE
Reuse is one of the key benefits of components. It inherently means that the functionality of a component may be employed only partially. This triggers the issue whether all of th...
128
Voted
EUROMICRO
2004
IEEE
15 years 8 months ago
2004
IEEE
We illustrate a symbiotic relationship between existing model oriented specification techniques and web services. Through the formal re-design of a platform for mobile team collab...
157
Voted
FASE
2000
Springer
15 years 8 months ago
2000
Springer
We present a family of tools for program development and verification, comprising the transformation system TAS and the theorem proving interface IsaWin. Both are based on the theo...
149
Voted
DICS
2006
15 years 6 months ago
2006
Abstract. Group communication is a programming abstraction that allows a distributed group of processes to provide a reliable service in spite of the possibility of failures within...
119
click to vote
SIGSOFT
2010
ACM
15 years 2 months ago
2010
ACM
Almost all fundamental advances in science and engineering crucially depend on the availability of extremely capable high performance computing (HPC) systems. Future HPC systems w...