3425 search results - page 336 / 685 » A Model Driven Approach for Software Systems Reliability |
115
click to vote
CADE
2008
Springer
16 years 5 months ago
2008
Springer
Abstract. Operating-system verification gains increasing research interest. The complexity of such systems is, however, challenging and many endeavors are limited in some respect: ...
135
Voted
SAC
2003
ACM
15 years 10 months ago
2003
ACM
Software coordination models and languages describe how agents, resources and processes work together to implement a software system. One of their limitations is that they are use...
173
click to vote
SIMULATION
2011
14 years 11 months ago
2011
From a modelling and simulation perspective, studying dynamic systems consists of focusing on changes in states. According to the precision of state changes, generic algorithms ca...
144
click to vote
EDOC
2009
IEEE
15 years 11 months ago
2009
IEEE
Abstract—A simple and effective composition of software services into higher-level composite services is still a very challenging task. Especially in enterprise environments, Qua...
152
click to vote
ICFEM
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. The success of industrial-scale model checkers such as Uppaal [3] or NuSMV [12] relies on the efficiency of their respective symbolic state space representations. While d...