963 search results - page 49 / 193 » Formal Analysis of BPMN Models Using Event-B |
141
click to vote
EUROCAST
2001
Springer
15 years 5 months ago
2001
Springer
Abstract. Hybrid systems are a well-established mathematical model for embedded systems. Such systems, which combine discrete and continuous behavior, are increasingly used in safe...
134
click to vote
TMI
2010
14 years 8 months ago
2010
Within-subject analysis in fMRI essentially addresses two problems, the detection of brain regions eliciting evoked activity and the estimation of the underlying dynamics. In [1, 2...
131
click to vote
SAC
2009
ACM
15 years 6 months ago
2009
ACM
This paper presents a novel software engineering approach for developing a dynamic web interface that meets the quality criterion of “WYDIWYS” - What You Do Is What You See. T...
138
click to vote
TDSC
2008
15 years 1 months ago
2008
Specifying and managing access control policies is a challenging problem. We propose to develop formal verification techniques for access control policies to improve the current s...
102
click to vote
IRI
2003
IEEE
15 years 6 months ago
2003
IEEE
– Building large software systems out of existing software components can save time and cost. These software components range from architectural and design components to binary c...