183 search results - page 13 / 37 » The Downward-Closure of Petri Net Languages |
92
Voted
AGENTCL
2000
Springer
15 years 4 months ago
2000
Springer
Conversations are a useful means of structuring communicative interactions among agents. The value of a conversation-based approach is largely determined by the conversational mod...
116
Voted
AIME
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. Clinical guidelines (GLs) play an important role to standardize and organize clinical processes according to evidence-based medicine. Several computer-based GL representa...
118
click to vote
IPPS
2005
IEEE
15 years 6 months ago
2005
IEEE
In recent years the Unified Modeling Language (UML) including its profiles gained increasing acceptance as a specification language for modeling real-time systems. It is crucia...
106
Voted
IAJIT
2008
15 years 13 days ago
2008
: UML currently still lacks a rigorously defined semantics for its models, which makes formally analyzing a model and verifying its properties extremely difficult. To remedy that, ...
122
Voted
IFIP
1992
Springer
15 years 4 months ago
1992
Springer
This paper presents a completely systematic design procedure for asynchronous controllers. The initial step is the construction of a signal transition graph (STG, an interpreted P...