1419 search results - page 139 / 284 » Notes on Formalizing Context |
94
Voted
ZUM
2000
Springer
15 years 4 months ago
2000
Springer
: Retrenchment is introduced as a liberalisation of refinement intended to address some of the shortcomings of refinement as sole means of progressing from simple abstract models t...
120
Voted
BPM
2008
Springer
15 years 3 months ago
2008
Springer
The need to involve business users in process modeling is largely perceived in the context of Business Process Management systems. This can facilitate the elaboration of consistent...
111
click to vote
FOIS
2008
15 years 2 months ago
2008
The goal of the REMINE project is to build a high performance prediction, detection and monitoring platform for managing Risks against Patient Safety (RAPS). Part of the work invol...
100
click to vote
SIMUTOOLS
2008
15 years 2 months ago
2008
Model checking is a suitable formal technique to analyze parallel programs' execution in an industrial context because automated tools can be designed and operated with very ...
123
Voted
PDSE
1998
15 years 2 months ago
1998
The development of correct OO distributed software is a daunting task as soon as the distributed interactions are not trivial. This is due to the inherent complexity of distribute...