Sciweavers

146 search results - page 5 / 30
» Shopper: A System for Executing and Simulating Expressive Pl...
Sort
View
CDC
2009
IEEE
160views Control Systems» more  CDC 2009»
14 years 11 days ago
Receding horizon temporal logic planning for dynamical systems
— This paper bridges the advances in computer science and control to allow automatic synthesis of control strategies for complex dynamical systems which are guaranteed, by constr...
Tichakorn Wongpiromsarn, Ufuk Topcu, R. Richard Mu...
VLDB
2006
ACM
203views Database» more  VLDB 2006»
14 years 7 months ago
The CQL continuous query language: semantic foundations and query execution
CQL, a Continuous Query Language, is supported by the STREAM prototype Data Stream Management System at Stanford. CQL is an expressive SQL-based declarative language for registeri...
Arvind Arasu, Shivnath Babu, Jennifer Widom
IFIP
2010
Springer
13 years 2 months ago
Modular Plans for Secure Service Composition
Service Oriented Computing (SOC) is a programming paradigm aiming at characterising Service Networks. Services are entities waiting for clients requests and they often result from ...
Gabriele Costa, Pierpaolo Degano, Fabio Martinelli
AIPS
1998
13 years 9 months ago
A Complete Bidirectional Planner
The PRODIGY system is based on bidirectional planning, which is a combination of goal-directed backward chaining with simulation of plan execution. Experiments have demonstrated t...
Eugene Fink, Jim Blythe
CCGRID
2008
IEEE
13 years 9 months ago
Performance Optimization for Multi-agent Based Simulation in Grid Environments
Multi-agent based simulation (MABS) is a discrete event simulation technique used to study complex systems with entities having social and autonomous behavior. MABS applications a...
Dawit Mengistu, Peter Tröger