4397 search results - page 660 / 880 » Relational Algebra Operations |
178
click to vote
AOSE
2007
Springer
16 years 22 days ago
2007
Springer
This paper describes the Organization-based Multiagent System Engineering (O-MaSE) Process Framework, which helps process engineers define custom multiagent systems development pr...
168
click to vote
B
2007
Springer
16 years 22 days ago
2007
Springer
Symmetry reduction is an established method for limiting the amount of states that have to be checked during exhaustive model checking. The idea is to only verify a single represen...
152
click to vote
CAV
2007
Springer
16 years 22 days ago
2007
Springer
Liveness temporal properties state that something “good” eventually happens, e.g., every request is eventually granted. In Linear Temporal Logic (LTL), there is no a priori bo...
136
click to vote
CCS
2007
ACM
16 years 22 days ago
2007
ACM
Various system architectures have been proposed for high assurance enforcement of multilevel security. This paper provides an analysis of the relative merits of three architectura...
182
click to vote
CEEMAS
2007
Springer
16 years 22 days ago
2007
Springer
We present a multi-agent system designed to detect malicious traffic in high-speed networks. In order to match the performance requirements related to the traffic volume, the net...