4693 search results - page 397 / 939 » Verifying Hybrid Systems |
186
click to vote
TLDI
2005
ACM
16 years 11 days ago
2005
ACM
Atomicity is a fundamental correctness property in multithreaded programs. This paper presents an algorithm for verifying atomicity via type inference. The underlying type system ...
173
Voted
CBSE
2004
Springer
16 years 6 days ago
2004
Springer
Abstract. Long running applications often need to adapt due to changing requirements or changing environment. Typically, such adaptation is performed by dynamically adding or remov...
175
Voted
IPTPS
2004
Springer
16 years 5 days ago
2004
Springer
We propose a new cryptographic technique, Acknowledgment Compression, permitting senders of multicast data to verify that all interested parties have either received the data or l...
173
click to vote
WETICE
2003
IEEE
16 years 2 days ago
2003
IEEE
Digital signatures, like physical signatures, can verify that a specific user affixed their signature to a document and they can also verify that the document is the same as when ...
164
click to vote
CONCUR
1993
Springer
15 years 11 months ago
1993
Springer
cal Technique for Process Abstraction Glenn Bruns Department of Computer Science University of Edinburgh Edinburgh EH9 3JZ, UK Abstract. With algebraic laws a process can be simpli...