Sciweavers

274 search results - page 39 / 55
» Variants of the Event Calculus
Sort
View
BPM
2006
Springer
128views Business» more  BPM 2006»
13 years 10 months ago
Towards Formal Verification of Web Service Composition
Abstract. Web services composition is an emerging paradigm for enabling application integration within and across organizational boundaries. Current Web services composition propos...
Mohsen Rouached, Olivier Perrin, Claude Godart
IJCAI
1989
13 years 9 months ago
Prediction is Deduction but Explanation is Abduction
This paper presents an approach to temporal reasoning in which prediction is deduction but explanation is abduction. It is argued that all causal laws should be expressed in the n...
Murray Shanahan
WSC
1997
13 years 10 months ago
Simulation of Multiple Time-Pressured Agents
The paper describes a simulation substrate that allows thinking agents to interact with a world. The world is simulated by standard discrete event simulation, but the timing of an...
Scott D. Anderson
IJSNET
2008
115views more  IJSNET 2008»
13 years 8 months ago
Event-driven sensor deployment using self-organizing maps
: Coverage is an important optimization objective in pre and post-deployment stage of a Wireless Sensor Network (WSN). In this paper, we address the issue of placing a finite set o...
Cris Koutsougeras, Yi Liu, Rong Zheng
WSC
1997
13 years 10 months ago
Multiplexed State Saving for Bounded Rollback
Optimistic parallel discrete event simulation (PDES) uses a state history trail to support rollback. State saving strategies range from making a complete copy of a model’s state...
Fabian Gomes, Brian Unger, John G. Cleary, Steve F...