24421 search results - page 393 / 4885 » Communicating Complex Systems |
133
click to vote
CCS
2007
ACM
15 years 10 months ago
2007
ACM
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, ...
151
click to vote
ATAL
1995
Springer
15 years 7 months ago
1995
Springer
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...
103
Voted
ICEIS
2008
IEEE
15 years 10 months ago
2008
IEEE
HICSS
2006
IEEE
15 years 10 months ago
2006
IEEE
ICEIS
2005
IEEE
15 years 9 months ago
2005
IEEE