979 search results - page 90 / 196 » Automated Environment Generation for Software Model Checking |
236
click to vote
SUTC
2006
IEEE
16 years 21 days 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...
204
click to vote
QEST
2006
IEEE
16 years 21 days 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...
183
click to vote
SAC
2006
ACM
15 years 6 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...
174
click to vote
WSC
2004
15 years 8 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...
213
click to vote
MDAFA
2004
Springer
16 years 1 days 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...