10441 search results - page 310 / 2089 » Performance modeling of heterogeneous systems |
179
click to vote
DCOSS
2010
Springer
15 years 7 months ago
2010
Springer
In this work, we present a robust sensor fusion system for exploratory data collection, exploiting the spatial redundancy in sensor networks. Unlike prior work, our system design c...
186
click to vote
ICCD
1995
IEEE
15 years 10 months ago
1995
IEEE
Symbolic model checking is a successful technique for checking properties of large finite-state systems. This method has been used to verify a number of real-world hardware desig...
181
click to vote
DEXAW
2005
IEEE
16 years 12 days ago
2005
IEEE
The monitoring and visualization of enterprise-wide and cross-organizational business processes is an important, but also very complex task. The information needed for visualizing...
170
click to vote
ACSAC
1999
IEEE
15 years 11 months ago
1999
IEEE
Decoupling authorization logic from application logic allows applications with fine-grain access control requirements to be independent from a particular access control policy and...
161
click to vote
ERCIMDL
2006
Springer
15 years 10 months ago
2006
Springer
This demonstration provides a "hands on" experience to the "internals" of Pergamos, the University of Athens DL System. Pergamos provides uniform high level DL ...