941 search results - page 162 / 189 » Petri Nets Are Dioids |
103
click to vote
IJCAI
2001
15 years 1 months ago
2001
This paper presents an efficient online mode estimation algorithm for a class of sensor-rich, distributed embedded systems, the so-called hybrid systems. A central problem in dist...
106
click to vote
AIME
2009
Springer
15 years 28 days ago
2009
Springer
: Clinical Pathways can be viewed as workflows, comprising an ordering of activities with associated execution constraints. Workflow models allow formal representation, analysis an...
ECEASST
2008
14 years 12 months ago
2008
: We study directed bigraph with negative ports, a bigraphical framework for representing models for distributed, concurrent and ubiquitous computing. With respect to previous vers...
ENTCS
2008
14 years 12 months ago
2008
The satisfiability problem is the fundamental problem in proving the conflict-freeness of specifications, or in finding a counterexample for an invalid statement. In this paper, w...
CMOT
2006
14 years 12 months ago
2006
This contribution investigates the function of emotion in relation to norms, both in natural and artificial societies. We illustrate that unintentional behavior can be normative an...