Sciweavers

403 search results - page 42 / 81
» A Constraint-Based Framework for Prototyping Distributed Vir...
Sort
View
MOBICOM
2010
ACM
13 years 8 months ago
NVS: a virtualization substrate for WiMAX networks
This paper describes the design and implementation of a network virtualization substrate (NVS) for effective virtualization of wireless resources in WiMAX networks. Virtualization...
Ravi Kokku, Rajesh Mahindra, Honghai Zhang, Sampat...
JCP
2007
154views more  JCP 2007»
13 years 7 months ago
Introducing Virtual Private Overlay Network Services in Large Scale Grid Infrastructures
—The computational Grid concept is gaining great popularity as the best way to deliver access to a wide range of distributed computing and data resources. But, as Grids move from...
Francesco Palmieri
CODES
2009
IEEE
14 years 2 months ago
A high-level virtual platform for early MPSoC software development
Multiprocessor System-on-Chips (MPSoCs) are nowadays widely used, but the problem of their software development persists to be one of the biggest challenges for developers. Virtua...
Jianjiang Ceng, Weihua Sheng, Jerónimo Cast...
IAT
2010
IEEE
13 years 6 months ago
Agent Technologies for Space Applications: The DAFA Experience
-- The Distributed Agents For Autonomy (DAFA) study has been performed for ESA/ESTEC by SciSys UK Ltd, VEGA, and Politecnico di Milano in 2008-2009. The aim of DAFA study has been ...
Francesco Amigoni, Andrea Brambilla, Michèl...
ISORC
2005
IEEE
14 years 1 months ago
Proof Slicing with Application to Model Checking Web Services
Web Services emerge as a new paradigm for distributed computing. Model checking is an important verification method to ensure the trustworthiness of composite WS. abstraction and...
Hai Huang, Wei-Tek Tsai, Raymond A. Paul