979 search results - page 90 / 196 » Automated Environment Generation for Software Model Checking |
SUTC
2006
IEEE
14 years 2 months ago
2006
IEEE
Abstract— Sensor networks are being increasingly deployed for collecting critical data in various applications. Once deployed, a sensor network may experience faults at the indiv...
QEST
2006
IEEE
14 years 2 months ago
2006
IEEE
Abstract— This paper reports on our efforts to link an industrial state-of-the-art modelling tool to academic state-of-the-art analysis algorithms. In a nutshell, we enable timed...
SAC
2006
ACM
13 years 8 months ago
2006
ACM
Process reference models play an important role for the alignment and configuration of commercial off-the-shelf Enterprise Systems to requirements of an organization. Recently, Co...
WSC
2004
13 years 10 months ago
2004
Discrete event simulation modelling has been extensively used in modelling complex systems. Although it offers great conceptual-modelling flexibility, it is both computationally e...
MDAFA
2004
Springer
14 years 2 months ago
2004
Springer
MDA software development requires the interoperability of a wide range of modelling services (operations taking models as inputs and outputs), such as model edition, model transfor...