1369 search results - page 220 / 274 » On the Semantics of Petri Nets |
QEST
2007
IEEE
14 years 4 months ago
2007
IEEE
XML-based interchange formats for performance models provide a mechanism whereby performance model information may be transferred among modeling tools. For example, the PMIF allow...
ATVA
2007
Springer
14 years 4 months ago
2007
Springer
This paper presents a bounded model checking algorithm for the verification of analog and mixed-signal (AMS) circuits using a satisfiability modulo theories (SMT) solver. The sys...
CIA
2007
Springer
14 years 4 months ago
2007
Springer
When two or more agents interacting, their behaviors are not necessarily matching. Automated ways to overcome con icts in the behavior of agents can make the execution of interacti...
DALT
2007
Springer
14 years 4 months ago
2007
Springer
Agent-oriented programming languages have gone a long way in the level of sophistication offered to programmers, and there has also been much progress in tools to support multi-ag...
ICWE
2007
Springer
14 years 4 months ago
2007
Springer
The requirements for Web applications concerning workflow execution, interaction, aesthetics, federation and Web service integration are steadily increasing. Considering their comp...