118 search results - page 7 / 24 » Empirical Analysis for Agent System Comprehension and Verifi... |
195
click to vote
ICDE
2009
IEEE
16 years 1 months ago
2009
IEEE
Modern database systems increasingly make use of networked storage. This storage can be in the form of SAN's or in the form of shared-nothing nodes in a cluster. One type of a...
105
click to vote
CIA
2000
Springer
15 years 4 months ago
2000
Springer
Effective development of nontrivial systems of collaborative information agents requires that an in-depth analysis is made resulting in (1) specification of requirements at differe...
ECAI
2000
Springer
15 years 4 months ago
2000
Springer
Abstract. This paper presents a framework that enables autonomous agents to dynamically select the mechanism they employ in order to coordinate their inter-related activities. Adop...
FORTE
2008
15 years 1 months ago
2008
Model programs represent transition systems that are used fy expected behavior of systems at a high level of abstraction. The main application area is application-level network pro...
155
click to vote
ATAL
2008
Springer
15 years 1 months ago
2008
Springer
We introduce eCAT, a tool that supports deriving test cases semi-automatically from goal-based analysis diagrams, generates meaningful test inputs based on agent interaction ontol...