1019 search results - page 134 / 204 » Petri Net Transformations in the |
FMCO
2009
Springer
13 years 5 months ago
2009
Springer
This paper reviews the model of interactive Markov chains (IMCs, for short), an extension of labelled transition systems with exponentially delayed transitions. We show that IMCs a...
IJACTAICIT
2010
13 years 2 months ago
2010
The theory of regions has been recognized as the optimal deadlock prevention policy based on the marking/transition-separation instance (MTSI) or the event-state-separation-proble...
PROCEDIA
2010
13 years 2 months ago
2010
In this work we address the issue of selecting and composing Web Services (WSs) considering functional requirements and transactional properties. We formalize the WS composition p...
AIRS
2008
Springer
14 years 2 months ago
2008
Springer
We present a novel approach that transforms the weighting task to a typical coarse-grained classification problem, aiming to assign appropriate weights for candidate expansion term...
FLAIRS
2001
13 years 9 months ago
2001
In this paper, weproposeseveral principles that enable the automatic transformation of WordNet into a coarser grained dictionary, withoutaffecting its existing semanticrelations. ...