4693 search results - page 561 / 939 » Verifying Hybrid Systems |
197
click to vote
HIPC
2003
Springer
16 years 4 days ago
2003
Springer
Abstract— In this work, we demonstrate the power of providing a common set of operating system services to Grid Architectures, including high-performance I/O, communication, reso...
201
click to vote
DEBS
2008
ACM
15 years 8 months ago
2008
ACM
Several new Complex Event Processing (CEP) engines have been recently released, many of which are intended to be used in performance sensitive scenarios - like fraud detection, tr...
185
click to vote
ISLPED
2010
ACM
15 years 7 months ago
2010
ACM
Thermal energy harvesting using micro-scale thermoelectric generators is a promising approach to alleviate the power supply challenge in ultra low power systems. In thermal energy...
168
click to vote
IEEESP
2007
15 years 6 months ago
2007
igh level of abstraction and to provide broad oversight. In contrast, the goal of computer science security education is to provide the technicalexpertisetodevelopsecure software a...
187
click to vote
JUCS
2010
15 years 5 months ago
2010
: For many complex and dynamic ubiquitous services, context-aware cooperation can be a solution. However, the way is not yet clear to make individual objects cooperate with each ot...