3828 search results - page 149 / 766 » Proof-Based System Engineering Using a Virtual System Model |
191
click to vote
ERCIMDL
1997
Springer
15 years 10 months ago
1997
Springer
: A fully operational large scale digital library is likely to be based on a distributed architecture and because of this it is likely that a number of independent search engines m...
179
click to vote
ACSAC
2008
IEEE
16 years 22 days ago
2008
IEEE
Most intrusion detection systems apply the misuse detection approach. Misuse detection compares recorded audit data with predefined patterns denoted as signatures. A signature is ...
179
click to vote
WOA
2003
15 years 7 months ago
2003
— In this paper we study the rational balance between local and global policies in virtual communities of agents. To study this problem we use a logical framework for modelling o...
156
click to vote
ICS
1999
Tsinghua U.
15 years 10 months ago
1999
Tsinghua U.
This paper proposes a novel way to use virtual memorymapped communication (VMMC) to reduce the failover time on clusters. With the VMMC model, applications’ virtual address spac...
169
Voted
AGENTS
2001
Springer
15 years 10 months ago
2001
Springer
The specific organization used by a multi-agent system is crucial for its effectiveness and efficiency. In dynamic environments, or when the objectives of the system shift, the ...