2002 search results - page 40 / 401 » An Approach for Assessment of Reliability of the System Usin... |
CSMR
2002
IEEE
14 years 1 months ago
2002
IEEE
A critical point for developing successful information systems for distributed organisations is the need for integrating heterogeneous technologies and tools. This paper reports a...
EOR
2007
13 years 8 months ago
2007
Recent results have used game theory to explore the nature of optimal investments in the security of simple series and parallel systems. However, it is clearly important in practi...
FM
1999
Springer
14 years 1 months ago
1999
Springer
Abstract. The design of controllers for hybridsystems i.e. mixeddiscretecontinuous systems in a systematic manner remains a challenging task. In this case study, we apply formal m...
TAP
2008
Springer
13 years 8 months ago
2008
Springer
Abstract. Usage of combinatorial testing is wide spreading as an effective technique to reveal unintended feature interaction inside a given system. To this aim, test cases are con...
TLDI
2009
ACM
14 years 5 months ago
2009
ACM
The importance of distributed systems is growing as computing devices become ubiquitous and bandwidth becomes plentiful. Concurrency and distribution pose algorithmic and implemen...