4719 search results - page 261 / 944 » Newtonian program analysis |
151
click to vote
ESOP
2004
Springer
15 years 11 months ago
2004
Springer
ESOP 2004, LNCS 2986, pages 140–154, 2004. c Springer–Verlag, Berlin Heildelberg 2003. We propose a new method for the static analysis of entity authentication protocols. We d...
157
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...
158
click to vote
IFIP
1999
Springer
15 years 10 months ago
1999
Springer
We want to understand organizational process as the temporal making of meanings, but our vocabulary for doing so is predominantly spatial. Some mistakes this has led to in my own ...
165
click to vote
LCTRTS
1999
Springer
15 years 10 months ago
1999
Springer
Real-time garbage collection is essential if object-oriented languages (in particular, Java) are to become predictable enough for real-time embedded systems. Although techniques f...