1636 search results - page 156 / 328 » Reasoning About Quantum Systems |
164
click to vote
IEEEARES
2006
IEEE
16 years 14 days ago
2006
IEEE
It is now commonly accepted that security and dependability largely represent two different aspects of an overall meta-concept that reflects the trust that we put in a computer s...
162
click to vote
LICS
2005
IEEE
16 years 13 hour ago
2005
IEEE
This paper describes an assembly-language type system capable of ensuring memory safety in the presence of both heap and stack allocation. The type system uses linear logic and a ...
180
click to vote
ICFEM
2005
Springer
15 years 12 months ago
2005
Springer
Many safety-critical systems deal with geometric objects. Reasoning about the correctness of such systems is mandatory and requires the use of basic definitions of geometry for th...
145
click to vote
ATAL
2003
Springer
15 years 11 months ago
2003
Springer
Communication is the key feature of Multi-agent Systems. The interactions among components of a system may take many distinct forms of increasing complexity such as in auctions, n...
157
click to vote
CONCUR
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. We extend Kobayashi and Sumii’s type system for the deadlock-free π-calculus and develop a type reconstruction algorithm. Kobayashi and Sumii’s type system helps hig...