3425 search results - page 348 / 685 » A Model Driven Approach for Software Systems Reliability |
124
click to vote
GI
2007
Springer
15 years 11 months ago
2007
Springer
: The fusion of data from different sensorial sources is the most promising method to increase robustness and reliability of environmental perception today. The paper presents an a...
138
click to vote
ETFA
2008
IEEE
15 years 11 months ago
2008
IEEE
This paper presents a novel colored Petri net model for the simulation of fully-switched Ethernet based networked control systems (NCS). The model of the NCS is built from models ...
153
click to vote
ECBS
2010
IEEE
15 years 11 months ago
2010
IEEE
—One of the key challenges in modern real-time embedded systems is safe composition of different software components. Formal verification techniques provide the means for design...
145
click to vote
FSTTCS
2006
Springer
15 years 8 months ago
2006
Springer
In recent papers, the partial order reduction approach has been adapted to reason about the probabilities for temporal properties in concurrent systems with probabilistic behaviour...
114
click to vote
RE
2006
Springer
15 years 4 months ago
2006
Springer
Cross-organizational information systems projects, such as ERP, imply an expensive requirements engineering (RE) cycle. Little is known yet about how to carry it out with more pre...