2607 search results - page 87 / 522 » On the Architecture of System Verification Environments |
178
click to vote
IWANN
2009
Springer
16 years 27 days ago
2009
Springer
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...
165
click to vote
SWS
2004
ACM
15 years 11 months ago
2004
ACM
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...
172
click to vote
SBACPAD
2005
IEEE
15 years 12 months ago
2005
IEEE
Executing long-running parallel applications in Opportunistic Grid environments composed of heterogeneous, shared user workstations, is a daunting task. Machines may fail, become ...
141
click to vote
CBMS
2009
IEEE
15 years 7 months ago
2009
IEEE
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...
195
click to vote
DEDS
2000
15 years 6 months ago
2000
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...