Sciweavers

13 search results - page 1 / 3
» ceemas 2001
Sort
View
67
Voted
CEEMAS
2001
Springer
15 years 2 months ago
Messages, Clocks, and Gravitation
Antoni W. Mazurkiewicz, Dobieslaw Wróblewsk...
66
Voted
CEEMAS
2001
Springer
15 years 2 months ago
Towards Requirements Analysis for Autonomous Agent Behaviour
Sorabain Wolfheart de Lioncourt, Michael Luck
76
Voted
CEEMAS
2001
Springer
15 years 2 months ago
Motivational Attitudes of Agents: On Desires, Obligations, and Norms
Frank Dignum, David Kinny, Liz Sonenberg
71
Voted
CEEMAS
2001
Springer
15 years 2 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
67
Voted
CEEMAS
2001
Springer
15 years 2 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