2129 search results - page 251 / 426 » Cutting-Edge Timing Analysis Techniques |
152
click to vote
IEEEARES
2006
IEEE
16 years 18 days ago
2006
IEEE
There is an increasing demand for highly reliable systems in the safety conscious climate of today’s world. When a fault does occur there are two desirable outcomes. Firstly, de...
152
click to vote
WISE
2005
Springer
16 years 4 days ago
2005
Springer
Web sites, Web pages and the data on pages are available only for specific periods of time and are deleted afterwards from a client’s point of view. An important task in order t...
215
click to vote
TII
2008
15 years 6 months ago
2008
Abstract--Safety analysis in Systems Engineering (SE) processes, as usually implemented, rarely relies on formal methods such as model checking since such techniques, however power...
194
click to vote
WAW
2007
Springer
16 years 20 days ago
2007
Springer
Betweenness is a centrality measure based on shortest paths, widely used in complex network analysis. It is computationally-expensive to exactly determine betweenness; currently th...
185
click to vote
MINENET
2006
ACM
16 years 15 days ago
2006
ACM
Recent research has proposed efficient protocols for distributed triggers, which can be used in monitoring infrastructures to maintain system-wide invariants and detect abnormal ...