963 search results - page 42 / 193 » Formal Analysis of BPMN Models Using Event-B |
101
click to vote
FSTTCS
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. Pushdown systems (PDSs) are an automata-theoretic formalism for specifying a class of infinite-state transition systems. Infiniteness comes from the fact that each con...
125
click to vote
DAC
2006
ACM
16 years 2 months ago
2006
ACM
Ever-growing complexity is forcing design to move above RTL. For example, golden functional models are being written as clearly as possible in software and not optimized or intend...
111
click to vote
MM
2009
ACM
15 years 6 months ago
2009
ACM
The automatic analysis of social interactions is attracting significant interest in the multimedia community. This work addresses one of the most important aspects of the problem...
147
click to vote
DATE
2009
IEEE
15 years 8 months ago
2009
IEEE
—In this paper, a novel approach for integrating static non-preemptive software scheduling in formal bottom-up performance evaluation of embedded system models is described. The ...
102
click to vote
IEE
2008
15 years 1 months ago
2008
: Feature diagrams (FDs) are a family of popular modelling languages, mainly used for managing variability in software product lines. FDs were first introduced by Kang et al. as pa...