461 search results - page 21 / 93 » Uniform Operators |
LICS
2000
IEEE
15 years 2 months ago
2000
IEEE
We study syntax-free models for name-passing processes. For interleaving semantics, we identify the indexing structure required of an early labelled transition system to support t...
USENIX
2003
14 years 11 months ago
2003
Cryptographic transformations are a fundamental building block in many security applications and protocols. To improve performance, several vendors market hardware accelerator car...
ICWS
2007
IEEE
14 years 11 months ago
2007
IEEE
In this paper we describe a platform that supports context aware runtime service discovery. The platform supports service discovery based on structural and behavioural service mod...
RT
1995
Springer
15 years 1 months ago
1995
Springer
Abstract: The problem of global illumination is virtually synonymouswith solving the rendering equation. Although a great deal of research has been directed toward Monte Carlo and ...
ICRA
2010
IEEE
14 years 8 months ago
2010
IEEE
— This paper is concerned with path planning for an autonomous flight vehicle operating in a steady, uniform flow-field. We model the vehicle as a particle that travels in the...