Sciweavers

3030 search results - page 357 / 606
» A SOA-Based Architecture Framework
Sort
View
FORTE
2008
15 years 8 months ago
Checking Correctness of Transactional Behaviors
Abstract. The Signal Calculus is an asynchronous process calculus featuring multicast communication. It relies on explicit modeling of the communication structure of the network (c...
Vincenzo Ciancia, Gian Luigi Ferrari, Roberto Guan...
SODA
2008
ACM
138views Algorithms» more  SODA 2008»
15 years 8 months ago
Fully polynomial time approximation schemes for stochastic dynamic programs
We develop a framework for obtaining Fully Polynomial Time Approximation Schemes (FPTASs) for stochastic univariate dynamic programs with either convex or monotone single-period c...
Nir Halman, Diego Klabjan, Chung-Lun Li, James B. ...
ICWS
2004
IEEE
15 years 8 months ago
Team-based Agents for Proactive Failure Handling in Dynamic Composition of Web Services
Currently web services composition problems are addressed using AI planning techniques . The team-based approach, with emphases on the sharing of mental models and proactive colla...
Xiaocong Fan, Karthikeyan Umapathy, John Yen, Sand...
FLAIRS
2003
15 years 8 months ago
Towards Motivation-based Plan Evaluation
AI planning systems tend to be disembodied and are not situated within the environment for which plans are generated, thus losing information concerning the interaction between th...
Alexandra M. Coddington, Michael Luck
159
Voted
FLAIRS
2000
15 years 8 months ago
Domain Semantics for Agent-Oriented Programming
This paper describes a novel semantic framework for an agent architecture. Drawing on Shoham's work on AGENT0 (Shoham 1993), we replace Shoham's modal logic semantics wi...
Roger Norton, S. Rebecca Thomas