913 search results - page 57 / 183 » Formal Agent Development: Framework to System |
134
click to vote
ISAS
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. We present formal and practical foundations for Web service composition framework with composition correctness guarantees. We introduce contractual composition model base...
243
click to vote
SCFBM
2008
15 years 3 months ago
2008
Background: Computer simulations are of increasing importance in modeling biological phenomena. Their purpose is to predict behavior and guide future experiments. The aim of this ...
144
click to vote
ATAL
2000
Springer
15 years 8 months ago
2000
Springer
In this paper, we describe a framework to program open societies of concurrently operating agents. The agents maintain a subjective theory about their environment and interact with...
131
click to vote
CDC
2008
IEEE
15 years 6 months ago
2008
IEEE
In this paper, we develop an automated framework for formal verification of timed continuous Petri nets (contPN). Specifically, we consider two problems: (1) given an initial set o...
143
click to vote
RTCSA
2005
IEEE
15 years 10 months ago
2005
IEEE
Context-aware middleware encompasses uniform ions and reliable services for common operations, supports for most of the tasks involved in dealing with context, and thus simplifyin...