674 search results - page 22 / 135 » Toward Self-Stabilizing Operating Systems |
88
Voted
LWA
2004
14 years 11 months ago
2004
This paper discusses ongoing work towards a theoretical basis intended to facilitate the development of self-regulating adaptive systems. Self-regulation refers to the capacity of...
83
Voted
ICECCS
2010
IEEE
14 years 10 months ago
2010
IEEE
Abstract—Granuloma is a medical term for a ball-like collection of immune cells that attempts to remove foreign substances from a host organism. This response is a special type o...
PPSWR
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. Time is omnipresent on the (Semantic) Web. However, formalism like XML, XML Schema, RDF, OWL and (Semantic) Web query languages have, if any, only very limited notions of...
DISCEX
2003
IEEE
15 years 3 months ago
2003
IEEE
The computer systems that provide the information underpinnings for critical infrastructure applications, both military and civilian, are essential to the operation of those appli...
ENTCS
2007
14 years 10 months ago
2007
We introduce a hybrid variant of a dynamic logic with continuous state transitions along differential equations, and we present a sequent calculus for this extended hybrid dynami...