311 search results - page 27 / 63 » Conservative Dual Consistency |
ACSD
2005
IEEE
14 years 2 months ago
2005
IEEE
This paper presents our approach to model distributed discrete event simulation systems in the framework of distributed graph transformation. We use distributed typed attributed g...
SIGGRAPH
2010
ACM
14 years 18 days ago
2010
ACM
Collision detection is a problem that has often been addressed efficiently with the use of hierarchical culling data structures. In the subproblem of self-collision detection for ...
CSB
2004
IEEE
14 years 7 days ago
2004
IEEE
One of the most remarkable properties of enzyme-substrate binding is the high substrate specificity among homologous enzymes. Identification of regions in enzymes that play an imp...
PADS
1998
ACM
14 years 2 days ago
1998
ACM
A number of library-based parallel and sequential network simulators have been designed. This paper describes a library, called GloMoSim (for Global Mobile system Simulator), for ...
JAIR
2006
13 years 8 months ago
2006
As partial justification of their framework for iterated belief revision Darwiche and Pearl convincingly argued against Boutilier's natural revision and provided a prototypic...