1580 search results - page 79 / 316 » CoTeSys - Cognition for Technical Systems |
153
click to vote
HICSS
2007
IEEE
16 years 19 days ago
2007
IEEE
This paper presents a quantitative threat modeling method, the Threat Modeling method based on Attack Path Analysis (T-MAP), which quantifies security threats by calculating the t...
154
click to vote
QUATIC
2007
IEEE
16 years 18 days ago
2007
IEEE
—The amount of effort needed to maintain a software system is related to the technical quality of the source code of that system. The ISO 9126 model for software product quality ...
145
click to vote
CCS
1993
ACM
15 years 10 months ago
1993
ACM
Designers of cryptographic systems are at a disadvantage to most other engineers, in that information on how their systems fail is hard to get: their major users have traditionall...
150
click to vote
APLAS
2007
ACM
15 years 10 months ago
2007
ACM
Abstract. This paper presents a polymorphic type system for a language with delimited control operators, shift and reset. Based on the monomorphic type system by Danvy and Filinski...
110
click to vote
HICSS
2009
IEEE
16 years 1 months ago
2009
IEEE
It has been argued that the challenges in electronic government are purely social: that existing methods and tools are perfectly adequate, and that electronic government projects ...