427 search results - page 33 / 86 » On the Power of Labels in Transition Systems |
180
click to vote
DSS
2006
15 years 6 months ago
2006
Inspired by the way SAP R/3 and other transactional information systems log events, we focus on the problem to decide whether a process model and a frequency profile "fit"...
159
click to vote
FUIN
2002
15 years 6 months ago
2002
Refinement in bisimulation semantics is defined differently from refinement in failure semantics: in bisimulation semantics refinement is based on simulations between labelled tran...
163
click to vote
IPL
2010
15 years 5 months ago
2010
Resource bisimilarity has been proposed in the literature on concurrency theory as a notion of bisimilarity over labeled transition systems that takes into account the number of c...
151
click to vote
ISCAS
2008
IEEE
16 years 1 months ago
2008
IEEE
— This paper presents models for estimating the transition activity of signals at the output of adders in Field Programmable Gate Arrays (FPGAs), given only word-level measures o...
159
click to vote
SOSYM
2002
15 years 6 months ago
2002
The Unified Modeling Language (UML) has gained wide acceptance in very short time because of its variety of well-known and intuitive graphical notations. However, this comes at the...