2196 search results - page 153 / 440 » Practical Reasoning Using Values |
107
Voted
CAV
2010
Springer
15 years 5 months ago
2010
Springer
We describe a practical method for reasoning about realistic concurrent programs. Our method allows global two-state invariants that restrict update of shared state. We provide sim...
119
click to vote
PDSE
2000
15 years 3 months ago
2000
This paper presents a theoretical and practical framework for constructing and reasoning about mobile agents. The framework is formulated as a process calculus and has two contrib...
60
Voted
TIS
1998
15 years 2 months ago
1998
The Principles of Fair Information Practice are almost three decades old and need to be broadened to take account of new technologies for collecting personal information such as d...
187
click to vote
HICSS
2011
IEEE
14 years 6 months ago
2011
IEEE
Vulnerabilities in a system may have widely varying impacts on system security. In practice, security should not be defined as the absence of vulnerabilities. In practice, securit...
148
Voted
ICML
1999
IEEE
16 years 3 months ago
1999
IEEE
Excerpted from: Boyan, Justin. Learning Evaluation Functions for Global Optimization. Ph.D. thesis, Carnegie Mellon University, August 1998. (Available as Technical Report CMU-CS-...