1855 search results - page 37 / 371 » Probabilistic Frame-Based Systems |
IPPS
2007
IEEE
15 years 4 months ago
2007
IEEE
System builders are becoming increasingly interested in robust design. We believe that a methodology for generating robustness metrics will help the robust design research efforts...
ICDCS
2009
IEEE
15 years 6 months ago
2009
IEEE
With the growing complexity in computer systems, it has been a real challenge to detect and diagnose problems in today’s large-scale distributed systems. Usually, the correlatio...
QEST
2005
IEEE
15 years 3 months ago
2005
IEEE
EUC
2008
Springer
14 years 11 months ago
2008
Springer
We present RT-P2P, a real-time peer-to-peer (P2P) system that allows application-level end-to-end timing requirements to be satisfied in P2P systems. P2P systems are fundamentally...
CDC
2009
IEEE
14 years 7 months ago
2009
IEEE
We consider the problem of controlling a continuous-time linear stochastic system from a specification given as a Linear Temporal Logic (LTL) formula over a set of linear predicate...