861 search results - page 104 / 173 » Internal implementation |
PROVSEC
2007
Springer
15 years 4 months ago
2007
Springer
Game-playing is an approach to write security proofs that are easy to verify. In this approach, security definitions and intractable problems are written as programs called games ...
145
click to vote
SIGADA
2007
Springer
15 years 4 months ago
2007
Springer
A system based on a hierarchical scheduler is a system in which the processor is shared between several collaborative schedulers. Such schedulers exist since 1960 and they are bec...
AGILEDC
2006
IEEE
15 years 3 months ago
2006
IEEE
Design by contract is a practical methodology for developing code together with its specification. The contract consists of class invariants and method preand postconditions. As ...
HICSS
2006
IEEE
15 years 3 months ago
2006
IEEE
Cross-agency collaborations are critical to the success of e-government, which has great potential to transform the way that governments work, share information and deliver servic...
HICSS
2006
IEEE
15 years 3 months ago
2006
IEEE
This paper describes the initial findings of a case study intended to identify important organizational catalysts and impediments to implementing and using security technologies a...