3425 search results - page 113 / 685 » A Model Driven Approach for Software Systems Reliability |
117
click to vote
CORR
2010
Springer
15 years 3 months ago
2010
Springer
Constraint programming can definitely be seen as a model-driven paradigm. The users write programs for modeling problems. These programs are mapped to executable models to calcula...
138
Voted
SIGSOFT
2007
ACM
16 years 4 months ago
2007
ACM
This paper presents a specification-based approach for systematic testing of products from a software product line. Our approach uses specifications given as formulas in Alloy, a ...
97
Voted
MSS
2000
IEEE
15 years 7 months ago
2000
IEEE
Approaching its tenth anniversary, the IEEE Storage System Standards effort is in the process of balloting Media Management System (MMS) standards. These represent the first stand...
134
Voted
SC
2003
ACM
15 years 8 months ago
2003
ACM
Buffered CoScheduled MPI (BCS-MPI) introduces a new approach to design the communication layer for largescale parallel machines. The emphasis of BCS-MPI is on the global coordinat...
123
Voted
AIME
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Decision support systems based on computerized Clinical Protocols (CP) and Clinical Practice Guidelines (CPG) fall short when dealing with patient co-morbidites, as this ...