2088 search results - page 197 / 418 » The SPARK Agent Framework |
177
click to vote
IPPS
2007
IEEE
16 years 27 days ago
2007
IEEE
The vulnerable air interface, device level constraints, and insecure encryption techniques of wireless networks have naturally increased the chance of attacker obtaining users inf...
180
click to vote
LADS
2007
Springer
16 years 22 days ago
2007
Springer
A key challenge for agent architectures and programming paradigms is to account for defeasible reasoning over mental attitudes and to provide associated conflict resolution mechan...
176
click to vote
ECAI
2000
Springer
15 years 11 months ago
2000
Springer
As the field of agent-based systems continues to expand rapidly, one of the most significant problems lies in being able to compare and evaluate the relative benefits and disad...
208
click to vote
MA
1997
Springer
15 years 10 months ago
1997
Springer
This paper presents a mobile agent approach that aims at satisfying the following requirements of open Internet-based electronic service markets: the mobile agent system should be...
218
click to vote
CAV
2009
Springer
15 years 10 months ago
2009
Springer
tic modalities for correctness [16]. The release described in this abstract is a complete rebuild of a preliminary experimental checker [14]. The model input language includes vari...