188 search results - page 21 / 38 » Abstract Machines, Control, and Sequents |
78
Voted
SSS
2007
Springer
15 years 3 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...
66
Voted
EUROPAR
2005
Springer
15 years 3 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...
114
Voted
DAGM
2004
Springer
15 years 2 months 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
14 years 11 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
14 years 9 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...