615 search results - page 35 / 123 » High-Level Nondeterministic Abstractions in |
CSL
2007
Springer
15 years 3 months ago
2007
Springer
We give a fully abstract game model for Idealized Algol with non-local control flow. In contrast to most previous papers on game semantics, we do not need to include the bad-varia...
DCOSS
2007
Springer
15 years 3 months ago
2007
Springer
Macroprogramming—the technique of specifying the behavior of the system, as opposed to the constituent nodes—provides application developers with high level abstractions that a...
81
Voted
ICPR
2000
IEEE
15 years 1 months ago
2000
IEEE
A collection of distributed databases forms an important architectural component of the ATON project for networked incidence management of highway traffic. The database sub-archit...
WWW
2004
ACM
15 years 10 months ago
2004
ACM
We provide a system for surfing the web at a high level of abstraction, which is an analogy of the web browser, but which displays entire sites at a time. It allows a principled i...
95
Voted
RSKT
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. In this paper, we have proposed a prototype biometrics authentication system based upon fingerprint recognition. The major functional blocks of the proposed authenticati...