11168 search results - page 1772 / 2234 » Abstract State Processes |
157
Voted
ARGMAS
2004
Springer
15 years 9 months ago
2004
Springer
This paper compares within the MAS framework two separate threads in the formal study of epistemic change: belief revision and argumentation theories. Belief revision describes how...
126
click to vote
ICDCS
2003
IEEE
15 years 9 months ago
2003
IEEE
In this paper, we focus on automated techniques to enhance the fault-tolerance of a nonmasking fault-tolerant program to masking. A masking program continually satisfies its spec...
163
click to vote
ICMENS
2003
IEEE
15 years 9 months ago
2003
IEEE
Humans throughout history have always sought to mimic the appearance, mobility, functionality, intelligent operation, and thinking process of biological creatures. This field of b...
139
click to vote
SENSYS
2003
ACM
15 years 9 months ago
2003
ACM
The widespread deployment of sensor networks is on the horizon. One of the main challenges in sensor networks is to process and aggregate data in the network rather than wasting e...
138
click to vote
WISE
2002
Springer
15 years 8 months ago
2002
Springer
Web transactions may be complex, composed of several sub-transactions accessing different resources including legacy systems. They may also have complex semantics. To deal with co...