870 search results - page 114 / 174 » The failure detector abstraction |
FASE
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. Web Services offer a widespread standard for making services available on the Internet. Of particular interest is the possibility of composing existing distributed servi...
MIDDLEWARE
2004
Springer
14 years 2 months ago
2004
Springer
We propose an adaptive middleware design for context-aware applications that abstracts the applications from the sensors that provide context. Further, we use application-specifi...
RULEML
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. We extend Answer Set Programming with, possibly infinite, open domains. Since this leads, in general, to undecidable reasoning, we restrict the syntax of programs, while...
SETN
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. This paper presents the capabilities offered by MultiAgent System technology in the operation of a Microgrid. A Microgrid is a new type of power system, which is formed b...
UML
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. We are developing a methodology of Test-Driven Development of Models (TDDM) based on an experimental UML2.0 modeling tool SMART. Our experience shows that TDDM is quite u...