10092 search results - page 221 / 2019 » Active conditional models |
168
click to vote
ECBS
2007
IEEE
15 years 9 months ago
2007
IEEE
We present in this paper a new approach for the automatic verification and performance analysis of SysML activity diagrams. Since timeliness is important in the design and analysi...
158
Voted
ECCV
2008
Springer
16 years 7 months ago
2008
Springer
Appearance features are good at discriminating activities in a fixed view, but behave poorly when aspect is changed. We describe a method to build features that are highly stable u...
151
click to vote
ISPDC
2003
IEEE
15 years 10 months ago
2003
IEEE
Many formal modelling notations for business processes have been proposed during the last decade. They can be broadly classified into high-level visual notations, with an intuiti...
145
click to vote
ICCAD
1994
IEEE
15 years 9 months ago
1994
IEEE
This work presents techniques for computing the switching activities of all circuit nodes under pseudorandom or biased input sequences and assuming a zero delay mode of operation....
145
click to vote
ECLIPSE
2005
ACM
15 years 7 months ago
2005
ACM
— In this paper we present a new approach to workflow analysis. There are efforts to design and verify workflow models using both Activity diagrams and Petri nets. We model the w...