142 search results - page 23 / 29 » HPTS: a behaviour modelling language for autonomous agents |
ICSOC
2007
Springer
14 years 2 months ago
2007
Springer
Model checking Web service behaviour has remained limited to checking safety and liveness properties. However when viewed as a multi agent system, the system composition can be ana...
IJCAI
2007
13 years 9 months ago
2007
Human intelligence requires decades of full-time training before it can be reliably utilised in modern economies. In contrast, AI agents must be made reliable but interesting in r...
JSS
2008
13 years 7 months ago
2008
Service-based systems are distributed computing systems with the major advantage of enabling rapid composition of distributed applications, such as collaborative research and deve...
TSE
2010
13 years 6 months ago
2010
—Recently, there has been a proliferation of service-based systems, i.e. software systems that are composed of autonomous services, but can also use software code. In order to su...
ISSTA
2009
ACM
14 years 17 days ago
2009
ACM
This paper describes an approach for conformance testing of mobile and distributed systems. The approach is based on kiltera — a novel, high-level language supporting the descri...