15792 search results - page 6 / 3159 » Computational Abstraction Steps |
AMAST
2000
Springer
14 years 3 days ago
2000
Springer
The behavior of reactive systems is typically speci ed by state machines. This results in an operational description of how a system its output. An alternative and more abstract ap...
PODC
1991
ACM
13 years 11 months ago
1991
ACM
d abstract) Maurice Herlihy Digital Equipment Corporation Cambridge Research Laboratory One Kendall Square Cambridge MA, 02139 Digital Equipment Corporation Cambridge Research Lab ...
ACNS
2010
Springer
13 years 11 months ago
2010
Springer
Abstract. We propose a new protocol providing cryptographically secure authentication to unaided humans against passive adversaries. We also propose a new generic passive attack on...
ECAI
1992
Springer
13 years 12 months ago
1992
Springer
Abstract. A key step in Natural Language Processing is creating representations of sentences and discourses. Sentences describe states and events. Thus a crucial component of seman...
ESOP
2009
Springer
14 years 2 months ago
2009
Springer
ion for Concurrent Objects Ivana Filipovi´c, Peter O’Hearn, Noam Rinetzky, and Hongseok Yang Queen Mary University of London, UK Concurrent data structures are usually designed ...