502 search results - page 23 / 101 » Development and Application of a Formal Agent Framework |
108
click to vote
CP
2000
Springer
15 years 4 months ago
2000
Springer
The Constraint-Based Agent (CBA) framework is a set of tools for designing, simulating, building, verifying, optimizing, learning and debugging controllers for agents embedded in a...
105
click to vote
AVI
2008
15 years 2 months ago
2008
Computer visualization and networking have advanced dramatically over the last few years, partially driven by the exploding video game market. 3D hardware acceleration has reached...
105
click to vote
ICECCS
2008
IEEE
15 years 6 months ago
2008
IEEE
A challenge for pervasive computing is the seamless integration of computer support with users’ activities in a very dynamic setting, with deep human and resource mobility. Port...
ASWEC
2010
IEEE
14 years 12 months ago
2010
IEEE
—Formal models are often used to verify systems and prove their correctness, and ensure that transformed models remain consistent to the original system. However, formal techniqu...
115
click to vote
ATC
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. Software agent technology has attracted much attention for developing various distributed systems, composed of autonomous agents interacting with one another using partic...