28244 search results - page 5406 / 5649 » System Design for Flexibility |
142
click to vote
CCS
2006
ACM
15 years 8 months ago
2006
ACM
A high-level security policy states an overall requirement for a sensitive task. One example of a high-level security policy is a separation of duty policy, which requires a sensi...
133
click to vote
CLEF
2006
Springer
15 years 8 months ago
2006
Springer
We describe the objectives and organization of the CLEF 2006 ad hoc track and discuss the main characteristics of the tasks offered to test monolingual, bilingual, and multilingual...
136
click to vote
ECTEL
2006
Springer
15 years 8 months ago
2006
Springer
In this paper, we present a proof of concept application of a technique that is designed explicitly for face to face collaboration software architectures. The objective is to minim...
208
click to vote
EDO
2006
Springer
15 years 8 months ago
2006
Springer
Server applications with adaptive behaviors can adapt their functionality in response to environmental changes, and significantly reduce the on-going costs of system deployment an...
154
click to vote
ICCD
2000
IEEE
15 years 8 months ago
2000
IEEE
A major obstacle to widespread acceptance of formal verification is the difficulty in using the tools effectively. Although learning the basic syntax and operation of a formal ver...