Sciweavers

24421 search results - page 393 / 4885
» Communicating Complex Systems
Sort
View
CCS
2007
ACM
16 years 26 days ago
Specifying and analyzing security automata using CSP-OZ
Security automata are a variant of B¨uchi automata used to specify security policies that can be enforced by monitoring system execution. In this paper, we propose using CSP-OZ, ...
David A. Basin, Ernst-Rüdiger Olderog, Paul E...
ATAL
1995
Springer
15 years 10 months ago
The Architecture of an Agent Building Shell
The agent view provides maybe the right level of abstraction for dealing with complex, distribblem-solving systems. It abstracts from aspects like the hardware or software platfor...
Mihai Barbuceanu, Mark S. Fox
ICEIS
2008
IEEE
16 years 1 months ago
Model-Driven Generation and Optimization of Complex Integration Processes
Matthias Böhm, Uwe Wloka, Dirk Habich, Wolfga...
HICSS
2006
IEEE
115views Biometrics» more  HICSS 2006»
16 years 22 days ago
Defining Complexity Factors for the Architecture Evaluation Framework
Oleksiy Mazhelis, Jari A. Lehto, Jouni Markkula, M...
ICEIS
2005
IEEE
16 years 8 days ago
An Architecture Framework for Complex Data Warehouses
Jérôme Darmont, Omar Boussaid, Jean-C...