6274 search results - page 921 / 1255 » Proofs, Programs, Processes |
142
Voted
VVS
1998
IEEE
15 years 7 months ago
1998
IEEE
In this paper, we describe a technique to animate volumes using a volumetric skeleton. The skeleton is computed from the actual volume, based on a reversible thinning procedure us...
139
Voted
CCS
1998
ACM
15 years 7 months ago
1998
ACM
We develop a framework for analyzing security protocols in which protocol adversaries may be arbitrary probabilistic polynomial-time processes. In this framework, protocols are wr...
153
click to vote
FOSSACS
1998
Springer
15 years 7 months ago
1998
Springer
Abstract. Domain theory began in an attempt to provide mathematical models for high-level programming languages, an area where it has proved to be particularly useful. It is perhap...
ECBS
1997
IEEE
15 years 7 months ago
1997
IEEE
Modern warfare requires the understanding and management of increasingly complex assemblages of resources. The Advanced Battlefield Architecture for TacticalInformation Selection ...
155
Voted
MAS
1998
Springer
15 years 7 months ago
1998
Springer
In mobile agent systems, program code together with some process state can autonomously migrate to new hosts. Despite its many practical benefits, mobile agent technology results i...