237 search results - page 21 / 48 » Automating Refinement Checking in Probabilistic System Desig... |
133
click to vote
KBSE
2007
IEEE
15 years 11 months ago
2007
IEEE
Threat modeling analyzes how an adversary might attack a system by supplying it with malicious data or interacting with it. The analysis uses a Data Flow Diagram (DFD) to describe...
134
click to vote
OOPSLA
2007
Springer
15 years 11 months ago
2007
Springer
We describe Quality of service pICKER (QUICKER), a model-driven QoS mapping toolchain for supporting the QoS design and evolution of systems software. QUICKER automates the mappin...
127
click to vote
CL
2006
Springer
15 years 4 months ago
2006
Springer
Intensional views and relations have been proposed as a way of actively documenting high-level structural regularities in the source code of a software system. By checking conform...
146
Voted
LPAR
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. The paper presents the methodology and the results of checking consistency of the knowledge base of CADIAG-2, a large-scale medical expert system. Such knowledge base con...
158
click to vote
DAC
2006
ACM
16 years 5 months ago
2006
ACM
This paper describes a novel engine, called PE-ICE (Parallelized Encryption and Integrity Checking Engine), enabling to guarantee confidentiality and integrity of data exchanged b...