963 search results - page 94 / 193 » Formal Analysis of BPMN Models Using Event-B |
MODELS
2009
Springer
15 years 8 months ago
2009
Springer
The second ACES-MB workshop brought together researchers and practitioners interested in model-based software engineering for realtime embedded systems, with a particular focus on ...
108
click to vote
QEST
2007
IEEE
15 years 7 months ago
2007
IEEE
Failure Mode and Effect Analysis (FMEA) is a method for assessing cause-consequence relations between component faults and hazards that may occur during the lifetime of a system. ...
107
click to vote
SEKE
2004
Springer
15 years 6 months ago
2004
Springer
Software architecture plays a central role in developing software systems that satisfy functionality and security requirements. However, little has been done to integrate system d...
126
click to vote
SIGIR
2003
ACM
15 years 6 months ago
2003
ACM
Libraries have traditionally used manual image annotation for indexing and then later retrieving their image collections. However, manual image annotation is an expensive and labo...
135
click to vote
CMSB
2007
Springer
15 years 7 months ago
2007
Springer
We give a description of a Petri net-based framework for modelling and analysing biochemical pathways, which unifies the qualitative, stochastic and continuous paradigms. Each per...