2786 search results - page 302 / 558 » A Practical Technique for Process Abstraction |
178
click to vote
CISC
2007
Springer
16 years 24 days ago
2007
Springer
Abstract. Key privacy is a notion regarding the privacy of the owner of a public key, which has important applications in building (receiver) anonymous channels, or privacy-enhance...
206
click to vote
EUSAI
2007
Springer
16 years 24 days ago
2007
Springer
Abstract. Research in many fields of AI, such as distributed planning and reasoning, agent teamwork and coalition formation, cooperative problem solving and action theory has adva...
166
click to vote
IH
2007
Springer
16 years 23 days ago
2007
Springer
Abstract. We introduce software integrity checking expressions (SoftICEs), which are program predicates that can be used in software tamper detection. We present two candidates, pr...
169
click to vote
SAS
2007
Springer
16 years 22 days ago
2007
Springer
Interval analysis seeks static lower and upper bounds on the values of program variables. These bounds are useful, especially for inferring invariants to prove buffer overflow ch...
171
click to vote
SEFM
2006
IEEE
16 years 19 days ago
2006
IEEE
The key to many approaches to reason about pointerbased data structures is the availability of a decision procedure to automatically discharge proof obligations in a theory encomp...