Sciweavers

3341 search results - page 161 / 669
» A Communication Virtual Machine
Sort
View
127
Voted
SSS
2007
Springer
15 years 9 months ago
Self-stabilization and Virtual Node Layer Emulations
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...
Tina Nolte, Nancy A. Lynch
110
Voted
EUROPAR
2005
Springer
15 years 9 months ago
Virtual Workspaces in the Grid
Abstract. Despite significant progress in the development of Grid infrastructure, the provisioning of a customized and controllable remote execution environment remains an open iss...
Katarzyna Keahey, Ian T. Foster, Timothy Freeman, ...
147
Voted
DAIS
2010
15 years 5 months ago
A Reconfiguration Language for Virtualized Grid Infrastructures
The growing needs in computational power to answer to the increasing number of on-line services and the complexity of applications makes it mandatory to build corresponding hardwar...
Rémy Pottier, Marc Léger, Jean-Marc ...
135
Voted
CORR
2007
Springer
133views Education» more  CORR 2007»
15 years 3 months ago
Virtual Manufacturing : Tools for improving Design and Production
: The research area “Virtual Manufacturing” can be defined as an integrated manufacturing environment which can enhance one or several levels of decision and control in manufac...
Philippe Dépincé, Damien Chablat, Pe...
150
Voted
ICC
2009
IEEE
147views Communications» more  ICC 2009»
15 years 10 months ago
A Distributed Protocol for Virtual Device Composition in Mobile Ad Hoc Networks
— The dynamic composition of systems of networked appliances, or virtual devices, in MANETs, enables users to generate, on-the-fly, complex strong specific systems. Current work ...
Eric Karmouch, Amiya Nayak