1356 search results - page 95 / 272 » The ideal of verified software |
183
click to vote
COMPSAC
2003
IEEE
15 years 11 months ago
2003
IEEE
Securely accessing unfamiliar services in public environments using ad hoc wireless networks is challenging. We present a proxy-based approach that uses other existing network cha...
150
click to vote
EUROMICRO
2004
IEEE
15 years 10 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...
168
click to vote
PLDI
2010
ACM
15 years 9 months ago
2010
ACM
We describe an automatic verification method to check whether transactional memories ensure strict serializability--a key property assumed of the transactional interface. Our main...
164
click to vote
CC
2008
Springer
15 years 8 months ago
2008
Springer
Java's annotation mechanism allows us to extend its type system with non-null types. However, checking such types cannot be done using the existing bytecode verification algor...
150
click to vote
WSC
1997
15 years 7 months ago
1997
This paper describes a general framework for the modeling, design, simulation, and prototyping of large scale systems. The framework uses a coherent set of tools that model the sy...