2607 search results - page 211 / 522 » On the Architecture of System Verification Environments |
204
click to vote
ARGMAS
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. In this work, an agent architecture that combines defeasible argumentation and the BDI model is described. Argumentation will be used as a mechanism for reasoning about b...
141
click to vote
ACSAC
2003
IEEE
15 years 12 months ago
2003
IEEE
General-purpose operating systems provide a rich computing environment both to the user and the attacker. The declining cost of hardware and the growing security concerns of softw...
168
click to vote
MSS
2003
IEEE
15 years 11 months ago
2003
IEEE
: Several solutions have been developed to provide dataintensive applications with the highest possible data rates. Such solutions tried to utilize the available network resources ...
158
click to vote
P2P
2003
IEEE
15 years 11 months ago
2003
IEEE
Peer-to-peer computing paradigm is emerging as a scalable and robust model for sharing media objects. In this paper, we propose an architecture and describe the associated algorit...
168
click to vote
ICRA
1999
IEEE
15 years 11 months ago
1999
IEEE
Developing automated assembly systems normally happens in two distinct stages: rst an o -line" stage in which the system is designed and programmed in simulated and then an o...