Sciweavers

6808 search results - page 160 / 1362
» Distributed Concurrency Control
Sort
View
ICDT
2010
ACM
163views Database» more  ICDT 2010»
15 years 5 months ago
A Theoretical Study of 'Snapshot Isolation'
Snapshot Isolation is a popular and efficient protocol for concurrency control. In this paper we discuss Snapshot Isolation in view of the classical theory for transaction process...
Ragnar Normann, Lene T. Østby
IJCAI
1997
15 years 3 months ago
Robust Periodic Planning and Execution for Autonomous Spacecraft
The New Millennium Remote Agent (NMRA) will be the rst on-board AI system to control an actual spacecraft. The spacecraft domain raises a number of challenges for planning and exe...
Barney Pell, Erann Gat, Ron Keesing, Nicola Muscet...
ICECCS
2010
IEEE
188views Hardware» more  ICECCS 2010»
15 years 2 months ago
A Transactional Architecture for Simulation
Abstract—We are developing a concurrent, agent-based approach to complex systems simulation as part of the CoSMoS project. In such simulations an agent’s behaviour can typicall...
Tim Hoverd, Adam T. Sampson
FUIN
2008
91views more  FUIN 2008»
15 years 2 months ago
A Deductive Proof System for Multithreaded Java with Exceptions
Abstract. Besides the features of a class-based object-oriented language, Java integrates concurrency via its thread-classes, allowing for a multithreaded flow of control. Besides ...
Erika Ábrahám, Frank S. de Boer, Wil...
FUIN
2010
116views more  FUIN 2010»
14 years 11 months ago
An Investigation of Multi-Agent Planning in CLP
This paper explores the use of Constraint Logic Programming (CLP) as a platform for experimenting with planning problems in the presence of multiple interacting agents. The paper ...
Agostino Dovier, Andrea Formisano, Enrico Pontelli