188 search results - page 21 / 38 » Abstract Machines, Control, and Sequents |
SSS
2007
Springer
14 years 1 months ago
2007
Springer
We present formal definitions of stabilization for the Timed I/O Automata (TIOA) framework, and of emulation for the timed Virtual Stationary Automata programming abstraction laye...
EUROPAR
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. Despite significant progress in the development of Grid infrastructure, the provisioning of a customized and controllable remote execution environment remains an open iss...
DAGM
2004
Springer
14 years 28 days ago
2004
Springer
Abstract. In this paper image-based techniques for 3D surface reconstruction are presented which are especially suitable for (but not limited to) coplanar light sources. The first...
DIMVA
2007
13 years 9 months ago
2007
Abstract. Autonomous spreading malware in the form of bots or worms is a constant threat in today’s Internet. In the form of botnets, networks of compromised machines that can be...
SIGCOMM
2010
ACM
13 years 7 months ago
2010
ACM
Traditionally, in-network services like firewall, proxy, cache, and transcoders have been provided by dedicated hardware middleboxes. A recent trend has been to remove the middleb...