The Amoeba group communication system has two unique aspects: (1) it uses a sequencer-based protocol with negative acknowledgements for achieving a total order on all group messag...
Abstract. In this paper, we consider a multidatabase system which consists of media databases and traditional alphanumeric databases. The semantic relationships which may exist amo...
Jia-Ling Koh, Arbee L. P. Chen, Paul C. M. Chang, ...
The individual agents that interact in a multi-agent system typically exist along a continuum ranging from heavyweight cognitive agents (often of the "BDI" type) to light...
H. Van Dyke Parunak, Paul Nielsen, Sven Brueckner,...
Abstract. This paper presents a constraint-based technique for discovering a rich class of inductive invariants (boolean combinations of polynomial inequalities of bounded degree) ...
—Current industrial automation systems are virtually unprotected against attacks on IT security at field level, especially if an attacker is able to connect physically to field...