Sciweavers

13 search results - page 1 / 3
» ceemas 2001
Sort
View
CEEMAS
2001
Springer
13 years 9 months ago
Messages, Clocks, and Gravitation
Antoni W. Mazurkiewicz, Dobieslaw Wróblewsk...
CEEMAS
2001
Springer
13 years 9 months ago
Towards Requirements Analysis for Autonomous Agent Behaviour
Sorabain Wolfheart de Lioncourt, Michael Luck
CEEMAS
2001
Springer
13 years 9 months ago
Motivational Attitudes of Agents: On Desires, Obligations, and Norms
Frank Dignum, David Kinny, Liz Sonenberg
CEEMAS
2001
Springer
13 years 9 months ago
Multi-agent System for Flexible Manufacturing Systems Management
The paper focuses on the application of a multi-agent system for a management process. The presented system is working on the structure of graph, where nodes represent decision mod...
Krzysztof Cetnarowicz, Jaroslaw Kozlak
CEEMAS
2001
Springer
13 years 9 months ago
On BAN Logics for Industrial Security Protocols
This paper reports on two case-studies of applying BAN logic to industrial strength security protocols. These studies demonstrate the flexibility of the BAN language, as it caters...
Nesria Agray, Wiebe van der Hoek, Erik P. de Vink