4305 search results - page 16 / 861 » Analysing Protocol Implementations |
SPIN
2010
Springer
13 years 7 months ago
2010
Springer
Pushdown systems provide a natural model of software with recursive procedure calls. We provide a tool implementing an algorithm for computing the winning regions of a pushdown par...
POPL
2005
ACM
14 years 9 months ago
2005
ACM
We present Rhodium, a new language for writing compiler optimizations that can be automatically proved sound. Unlike our previous work on Cobalt, Rhodium expresses optimizations u...
IFIP13
2004
13 years 10 months ago
2004
: Function allocation, as a process used in the construction of dependable complex systems, is a significant aspect of the design and implementation of interactive systems. It invo...
FORTE
1990
13 years 10 months ago
1990
Formal specifications are a well-known technique for improving software devel the context of OSI communication protocol standards, Formal Description Te (FDT's) have been dev...
ASIACRYPT
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. Secure multi-party computation has been considered by the cryptographic community for a number of years. Until recently it has been a purely theoretical area, with few im...