792 search results - page 91 / 159 » Mixed-initiative security agents |
SP
1997
IEEE
14 years 1 months ago
1997
IEEE
This paper discusses the development of a methodology for reasoning about properties of security policies. We view a security policy as a special case of regulation which specifi...
SEC
2001
13 years 10 months ago
2001
Abstract When people want to schedule a meeting, their agendas must be compared to find a time suitable for all participants. At the same time, people want to keep their agendas pr...
AGENTS
2001
Springer
14 years 1 months ago
2001
Springer
From a software engineering perspective, agent systems are a specialization of object-oriented (OO) systems, in which individual objects have their own threads of control and thei...
CSFW
2004
IEEE
14 years 23 days ago
2004
IEEE
This paper describes how symbolic techniques (in particular, OBDD's) may be used to to implement an algorithm for model checking specifications in the logic of knowledge for ...
IEEECIT
2006
IEEE
14 years 3 months ago
2006
IEEE
This paper presents a Multi-Agent based Data Integration (MADI) framework for integrating distributed data source across Internet. This framework takes control on high-availabilit...