211 search results - page 13 / 43 » Causal Behaviours and Nets |
CEC
2009
IEEE
13 years 5 months ago
2009
IEEE
This work proposes a biologically inspired system for the coordination of multiple and possible conflicting behaviours in an autonomous mobile robot, devoted to explore novel scena...
AIME
2001
Springer
14 years 5 days ago
2001
Springer
Abstract. Cancer spread is a non-deterministic dynamic process. As a consequence, the design of an assistant system for the diagnosis and prognosis of the extent of a cancer should...
APN
2003
Springer
14 years 27 days ago
2003
Springer
Abstract. We show how the firing rule of Petri nets relies on a residuation operation for the commutative monoid of natural numbers. On that basis we introduce closed monoidal str...
EMS
2008
IEEE
13 years 9 months ago
2008
IEEE
Threat modeling plays an important role in the deployment of optimal security controls and a number of threat modeling techniques have been proposed. However, most of the existing...
ICALP
1989
Springer
13 years 11 months ago
1989
Springer
Category theory has been successfully employed to structure the confusing setup of models and equivalences for concurrency: Winskel and Nielsen have related the standard models nc...