Sciweavers

2933 search results - page 329 / 587
» Agent-Grid Integration Language
Sort
View
CAV
2004
Springer
77views Hardware» more  CAV 2004»
15 years 9 months ago
Understanding Counterexamples with explain
The counterexamples produced by model checkers are often lengthy and difficult to understand. In practical verification, showing the existence of a (potential) bug is not enough: ...
Alex Groce, Daniel Kroening, Flavio Lerda
ECOWS
2004
Springer
15 years 9 months ago
A Conceptual Framework for Semantic Web Services Development and Deployment
Several extensions of the Web Services Framework have been proposed. The combination with Semantic Web technologies introduces a notion of semantics, which can enhance scalability ...
Claus Pahl
GCC
2004
Springer
15 years 9 months ago
Agent-Oriented Formal Specification of Web Services
Web services (WS) provide a technology for integrating applications over the Internet. The components of a WS are active and persistent computational entities that have autonomous ...
Hong Zhu, Bin Zhou, XinJun Mao, Lijun Shan, David ...
ICTAI
2003
IEEE
15 years 9 months ago
Human-Agent Teamwork for Distributed Team Training
This paper presents an approach to human-agent mixed teams for distributed team training, demonstrated through the integration of the domain independent multiagent architecture CA...
Dianxiang Xu, Richard A. Volz, Michael S. Miller, ...
EPIA
2003
Springer
15 years 9 months ago
A Methodology to Create Ontology-Based Information Retrieval Systems
Modern information retrieval systems need the capability to reason about the knowledge conveyed by text bases. In this paper a methodology to automatically create ontologies and cl...
José Saias, Paulo Quaresma