620 search results - page 48 / 124 » Decidability Problems for Actor Systems |
236
Voted
ICDT
2011
ACM
14 years 6 months ago
2011
ACM
Distributed data management systems consist of peers that store, exchange and process data in order to collaboratively achieve a common goal, such as evaluate some query. We study...
234
click to vote
POPL
2007
ACM
16 years 3 months ago
2007
ACM
Pushdown Systems (PDSs) has become an important paradigm for program analysis. Indeed, recent work has shown a deep connection between inter-procedural dataflow analysis for seque...
102
click to vote
WICON
2008
15 years 4 months ago
2008
Much previous work has examined the wireless power control problem using tools from game theory, an economic concept which describes the behavior of interdependent but non-coopera...
151
click to vote
ECAI
1990
Springer
15 years 7 months ago
1990
Springer
In case-based reasoning (CBR) a problem is solved by matching the problem description to a previously solved case, using the past solution in solving the new problem. A case-based...
144
click to vote
EDCC
2010
Springer
15 years 8 months ago
2010
Springer
: While lots of consensus algorithms have been proposed for crash-prone asynchronous message-passing systems enriched with a failure detector of the class Ω (the class of eventua...