2421 search results - page 95 / 485 » Integrity Assurance Technique Using Determinant Approach |
92
Voted
JNW
2006
15 years 19 days ago
2006
This paper presents a new approach to integrated security and dependability evaluation, which is based on stochastic modeling techniques. Our proposal aims to provide operational m...
91
Voted
JUCS
2010
2010
Leveraging ICT Deployment and Integration in a Public Organization Aged 176 Years A Greek Case Study
14 years 11 months ago
: The successful deployment and exploitation of an Information and Communications Technologies (ICT) project in a traditional Public Organization involves the proper design and imp...
92
Voted
WOSP
2000
ACM
15 years 5 months ago
2000
ACM
In this paper we present a formal approach to analyse performance for distributed systems, which is integrated in the early stages of the software development process. We propose ...
109
click to vote
DAGSTUHL
1994
15 years 2 months ago
1994
Abstract. Rampart is a toolkit of protocols to facilitate the development of high-integrity services, i.e., distributed services that retain their availability and correctness desp...
131
click to vote
AMAI
2008
Springer
15 years 24 days ago
2008
Springer
We introduce a knowledge representation language AC(C) extending the syntax and semantics of ASP and CR-Prolog, give some examples of its use, and present an algorithm, ACsolver, ...