Sciweavers

2607 search results - page 87 / 522
» On the Architecture of System Verification Environments
Sort
View
IWANN
2009
Springer
16 years 27 days ago
Wireless Sensor Networks in Home Care
Ambient Intelligence has acquired great importance in recent years and requires the development of new innovative solutions. This paper presents a novel architecture which integrat...
Dante I. Tapia, Juan A. Fraile, Sara Rodríg...
SWS
2004
ACM
15 years 11 months ago
Ticket-based fine-grained authorization service in the dynamic VO environment
Virtual Organization (VO) is a collection of users and distributed resources, in which resources are shared by users. Creating VOs is very important task in Grid computing. VOs ar...
Byung Joon Kim, Sung Je Hong, Jong Kim
SBACPAD
2005
IEEE
110views Hardware» more  SBACPAD 2005»
15 years 12 months ago
Portable checkpointing and communication for BSP applications on dynamic heterogeneous Grid environments
Executing long-running parallel applications in Opportunistic Grid environments composed of heterogeneous, shared user workstations, is a daunting task. Machines may fail, become ...
Raphael Y. de Camargo, Fabio Kon, Alfredo Goldman
CBMS
2009
IEEE
15 years 7 months ago
Implementation and analysis of scalable display architecture for laparoscopy
We report on a display system to support laparoscopy by loosely coupling input sensors (e.g., cameras) with outputs (e.g., image displays). A low-latency and general-purpose compu...
C. Andy Martin, Qiong Han, Duncan Clarke, C. Melod...
DEDS
2000
83views more  DEDS 2000»
15 years 6 months ago
Synthesis of Discrete-Event Controllers Based on the Signal Environment
In this paper, we present the integration of controller synthesis techniques in the SIGNAL environment through the description of a tool dedicated to the incremental construction o...
Hervé Marchand, Patricia Bournai, Michel Le...