10669 search results - page 264 / 2134 » Software - Implemented Self-healing System |
198
click to vote
BELL
2000
15 years 7 months ago
2000
A significant part of the call processing software for Lucent's new PathStar access server [FSW98] was checked with automated formal verification techniques. The verification...
218
click to vote
SAFECOMP
2009
Springer
15 years 11 months ago
2009
Springer
We present patterns for expressing dependability requirements, such as confidentiality, integrity, availability, and reliability. The paper considers random faults as well as cert...
198
click to vote
WICSA
2004
15 years 8 months ago
2004
Today's wireless networks and devices support the dynamic composition of mobile distributed systems, according to device connectivity. This has in particular led to the
225
click to vote
WSC
1998
15 years 8 months ago
1998
Taylor II is a menu-driven simulation package mainly used in manufacturing, warehousing, and material handling. It is developed for the analysis and quantitative evaluation of com...
200
click to vote
IASTEDSE
2004
15 years 8 months ago
2004
In this paper, we identify the different roles and contract types which are important in providing Quality of Service (QoS) properties of component-based systems. A surprising res...