2607 search results - page 61 / 522 » On the Architecture of System Verification Environments |
113
click to vote
ESAW
2005
Springer
15 years 5 months ago
2005
Springer
In this paper, we discuss the development of a multi agent system working on the Semantic Web environment by using a new framework called SEAGENT. SEAGENT is a new agent developmen...
FTDCS
1997
IEEE
15 years 4 months ago
1997
IEEE
In the paper we present an overview of Saga Security System, a security architecture in open distributed systems. An agent in Saga Security System is called a Saga Agent. The auth...
MASCOTS
2004
15 years 1 months ago
2004
A number of new network storage architectures have emerged recently that provide shared, adaptable and high-performance storage systems for dataintensive applications. Three commo...
COMPSAC
2007
IEEE
15 years 6 months ago
2007
IEEE
We present in this paper an adaptive security model for Multi-agent systems. A security meta-model has been developed in which the traditional role concept has been extended. The ...
121
click to vote
ATVA
2006
Springer
15 years 3 months ago
2006
Springer
Abstract. Compositional reasoning aims to improve scalability of verification tools by reducing the original verification task into subproblems. The simplification is typically bas...