4397 search results - page 660 / 880 » Relational Algebra Operations |
141
Voted
AOSE
2007
Springer
15 years 9 months 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...
126
Voted
B
2007
Springer
15 years 9 months 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...
108
Voted
CAV
2007
Springer
15 years 9 months 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...
100
Voted
CCS
2007
ACM
15 years 9 months 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...
138
Voted
CEEMAS
2007
Springer
15 years 9 months 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...