4890 search results - page 240 / 978 » From system specifications to component behavioral models |
172
click to vote
APN
2003
Springer
15 years 10 months ago
2003
Springer
Abstract. Petri nets are widely used for modeling and analyzing workflows. Using the token-game semantics, Petri net-based workflow models can be analyzed before the model is actua...
170
Voted
KBSE
2002
IEEE
15 years 11 months ago
2002
IEEE
Traditionally, an application has to be stopped to be adapted. This approach is not suitable for critical systems that have to be non-stop and highly available like bank, internet...
171
click to vote
ENTCS
2010
15 years 6 months ago
2010
Interface automata are a model that allows for the representation of stateful interfaces. In this paper we introduce a variant of interface automata, which we call interface struc...
176
Voted
WSC
2007
15 years 9 months ago
2007
In this paper we depart from a set of simple assumptions regarding the behavior of a pool of customers associated with an enterprise’s contact center. We assume that the pool of...
160
click to vote
NIPS
2003
15 years 8 months ago
2003
We present a novel connectionist model for acquiring the semantics of a simple language through the behavioral experiences of a real robot. We focus on the “compositionality” ...