4350 search results - page 597 / 870 » Case studies for contract-based systems |
197
click to vote
DFG
2004
Springer
16 years 25 days ago
2004
Springer
In the ForMoSA project [17] an integrated approach for safety analysis of critical, embedded systems has been developed. The approach brings together the best of engineering practi...
197
Voted
MIDDLEWARE
2004
Springer
16 years 24 days ago
2004
Springer
In this paper, we survey three generation of reflective middleware research carried out at Lancaster University, present experiences gained from this research, and highlight a num...
199
click to vote
MIDDLEWARE
2004
Springer
16 years 24 days ago
2004
Springer
In pervasive computing environments, conditions are highly variable and resources are limited. In order to meet the needs of applications, systems must adapt dynamically to changi...
264
click to vote
CCGRID
2003
IEEE
16 years 22 days ago
2003
IEEE
Grid computing is becoming a mainstream technology for large-scale distributed resource sharing and system integration. Workflow management is emerging as one of the most importan...
229
Voted
FM
2003
Springer
16 years 20 days ago
2003
Springer
Incomplete, inaccurate, ambiguous, and volatile requirements have plagued the software industry since its inception. The convergence of model-based development and formal methods o...