4693 search results - page 545 / 939 » Verifying Hybrid Systems |
216
click to vote
SACMAT
2009
ACM
16 years 1 months ago
2009
ACM
In both the commercial and defense sectors a compelling need is emerging for highly dynamic, yet risk optimized, sharing of information across traditional organizational boundarie...
263
click to vote
SECPERU
2006
IEEE
16 years 29 days ago
2006
IEEE
Ad hoc routing protocols have been designed to efficiently reroute traffic when confronted with network congestion, faulty nodes, and dynamically changing topologies. The common d...
224
click to vote
RTSS
2005
IEEE
16 years 16 days ago
2005
IEEE
Recently there has been a growing interest in models and methods targeted towards the (co)design of stream processing applications; e.g. those for audio/video processing. Streams ...
201
click to vote
VRST
2004
ACM
16 years 11 days ago
2004
ACM
Global illumination dramatically improves realistic appearance of rendered scenes, but usually it is neglected in VR systems due to its high costs. In this work we present an effi...
169
click to vote
CCGRID
2003
IEEE
16 years 8 days ago
2003
IEEE
Abstract— Cycle-harvesting software on commodity computers is available from a number of companies and a significant part of the Grid computing landscape. However, creating comm...