880 search results - page 153 / 176 » Semantics-Based Concurrency Control |
99
Voted
ICSE
2000
IEEE-ACM
15 years 6 months ago
2000
IEEE-ACM
Software architecture styles for developing multiuser applications are usually defined at a conceptual level, abstracting such low-level issues of distributed implementation as co...
182
click to vote
CP
1995
Springer
15 years 6 months ago
1995
Springer
A distributed constraint satisfaction problem (Distributed CSP) is a CSP in which variables and constraints are distributed among multiple automated agents, and various application...
102
Voted
VLDB
1995
ACM
15 years 5 months ago
1995
ACM
: This paper defines a framework for explaining redo recovery after a system crash. In this framework, an installation graph explains the order in which operations must be install...
109
click to vote
AIPS
2008
15 years 4 months ago
2008
We present a planner for the Combat Power Management (CPM) problem. In response to multiple simultaneous or sequential threats, the planner generates a set of local plans, one for...
132
Voted
ATVA
2008
Springer
15 years 4 months ago
2008
Springer
Model checking has proven to be a useful analysis technique not only for concurrent systems, but also for the genetic regulatory networks (Grns) that govern the functioning of livi...