5101 search results - page 950 / 1021 » Capturing Context Requirements |
148
click to vote
EMSOFT
2007
Springer
15 years 11 months ago
2007
Springer
We explain the design of the interpretation-based static analyzer Astr´ee and its use to prove the absence of run-time errors in safety-critical codes. Categories and Subject Des...
138
click to vote
GECCO
2007
Springer
15 years 11 months ago
2007
Springer
A system composed of multiple interacting components is capable of responding to contextual information and producing a higher range of non-linear responses to stimuli compared to...
135
click to vote
POLICY
2007
Springer
15 years 11 months ago
2007
Springer
We present a discretionary access control framework that can be used to control a principal’s ability to link information from two or more audit records and compromise a user’...
164
click to vote
RWEB
2007
Springer
15 years 11 months ago
2007
Springer
Today customers want to use powerful search engines for their huge and increasing content repositories. Full-text-only products with simple result lists are not enough to satisfy t...
160
click to vote
TARK
2007
Springer
15 years 11 months ago
2007
Springer
We contend that reasoning about knowledge is both natural and pragmatic for verification of electronic voting protocols. We present a model in which desirable properties of elect...