1163 search results - page 125 / 233 » Case Studies of Model Checking for Embedded System Designs |
141
click to vote
ELECTRONICMARKETS
2010
15 years 1 months ago
2010
We argue that certain theoretical commitments that underpin much existing Interorganisational Information Systems (IOIS) research at small scales become untenable when IOIS are st...
148
click to vote
RTAS
2003
IEEE
15 years 9 months ago
2003
IEEE
This paper presents our tool set implementation for scenario-based multithreading of object-oriented realtime models and an accompanying experimental validation. Our tools enable ...
158
click to vote
ATVA
2007
Springer
15 years 10 months ago
2007
Springer
Fault tree analysis is a traditional and well-established technique for analyzing system design and robustness. Its purpose is to identify sets of basic events, called cut sets, wh...
134
click to vote
RISE
2005
Springer
15 years 10 months ago
2005
Springer
Software Product Line (SPL) engineering allows designers to reason about an entire family of software applications, instead of a single product, with a strategic importance for the...
129
click to vote
WICSA
2008
15 years 5 months ago
2008
With the spread of the Internet and software evolution in complex intensive systems, software architecture often need be reconfigured during runtime to adapt variable environments...