3384 search results - page 499 / 677 » More Testable Properties |
142
click to vote
IJAIT
2006
15 years 3 months ago
2006
We describe a system for the automated certification of safety properties of NASA software. The system uses Hoare-style program verification technology to generate proof obligatio...
134
click to vote
JAPLL
2008
15 years 3 months ago
2008
We introduce a general framework for reasoning with prioritized propositional data by aggregation of distance functions. Our formalism is based on a possible world semantics, wher...
107
click to vote
CORR
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. Identity-based encryption (IBE) schemes are usually used in multiplePKG environments — on the one hand, each administrative domain (e.g., a relatively small and close o...
138
click to vote
JCO
2008
15 years 3 months ago
2008
We study variants of classical stable matching problems in which there is an additional requirement for a stable matching, namely that there should not be two participants who wou...
132
click to vote
INTERNET
2006
15 years 3 months ago
2006
Negotiation is a technique for reaching mutually beneficial agreement among autonomous entities. A concurrent negotiation problem occurs when one entity is negotiating simultaneous...