3081 search results - page 193 / 617 » A Formal Ontology of Properties |
196
click to vote
ACSW
2006
15 years 8 months ago
2006
To provide card holder authentication while they are conducting an electronic transaction using mobile devices, VISA and MasterCard independently proposed two electronic payment p...
162
click to vote
AIPS
2003
15 years 8 months ago
2003
There have been several proposals for expressing planning problems with different forms of uncertainty, including nondeterminism and partial observability. In this paper we invest...
159
click to vote
CACM
2010
15 years 6 months ago
2010
We report on the formal, machine-checked verification of microkernel from an abstract specification down to its C implementation. We assume correctness of compiler, assembly code,...
175
click to vote
NJC
2006
15 years 6 months ago
2006
Slicing is a technique for extracting parts of programs or specifications with respect to certain criteria of interest. The extraction is carried out in such a way that properties ...
166
click to vote
HIKM
2006
ACM
16 years 14 days ago
2006
ACM
The increasing complexity of clinical trials has generated an enormous requirement for knowledge and information specification at all stages of the trials, including planning, doc...