3951 search results - page 210 / 791 » Automatic amortized analysis |
160
click to vote
ICALP
2001
Springer
15 years 10 months ago
2001
Springer
A cryptographic protocol can be described as a system of concurrent processes, and analysis of the traces generated by this system can be used to verify authentication and secrecy ...
151
click to vote
IRAL
2000
ACM
15 years 10 months ago
2000
ACM
We propose a method to create process flow graphs automatically from textbooks for cooking programs. This is realized by understanding context by narrowing down the domain to cook...
156
click to vote
DEXAW
1999
IEEE
15 years 10 months ago
1999
IEEE
A system that saves a digital copy of every document that users copy, print, or fax, without asking the user, has recently been proposed. Referred to as the Infinite Memory Multif...
143
click to vote
ADAEUROPE
2003
Springer
15 years 9 months ago
2003
Springer
Concurrency introduces a high degree of combinatory which may be the source of subtle mistakes. We present a new tool, Quasar, which is based on ASIS and which uses fully the conce...
155
click to vote
ASM
2008
ASM
15 years 8 months ago
2008
ASM
This paper describes the formal modeling and analysis of a design for a flash-based filesystem in Alloy. We model the basic operations of a filesystem as well as features that are ...