1179 search results - page 57 / 236 » Event Model Interfaces for Heterogeneous System Analysis |
ESEC
1999
Springer
14 years 1 months ago
1999
Springer
CIP is a model-based software development method for embedded systems. The problem of constructing an embedded system is decomposed into a functional and a connection problem. The ...
DSN
2000
IEEE
14 years 20 days ago
2000
IEEE
Survivabilityis the ability of a system to maintain a set of essential services despite the presence of abnormal events such as faults and intrusions. Ensuring system survivabilit...
ATVA
2007
Springer
14 years 3 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...
GEOS
2005
Springer
14 years 2 months ago
2005
Springer
Traditional spatial information systems hold only a single state of the ‘real world’. However, geographic phenomena have not only static but dynamic characteristics. The work d...
INFOCOM
2012
IEEE
11 years 11 months ago
2012
IEEE
—This paper builds a generic modeling framework for analyzing the edge-creation process in dynamic random graphs in which nodes continuously alternate between active and inactive...