1188 search results - page 213 / 238 » Testing Semantics: Connecting Processes and Process Logics |
129
click to vote
CVPR
2005
IEEE
16 years 4 months ago
2005
IEEE
We present a method for training a similarity metric from data. The method can be used for recognition or verification applications where the number of categories is very large an...
131
click to vote
ACSAC
2009
IEEE
15 years 8 months ago
2009
IEEE
Abstract—The traditional virtual machine usage model advocates placing security mechanisms in a trusted VM layer and letting the untrusted guest OS run unaware of the presence of...
SAC
2009
ACM
15 years 8 months ago
2009
ACM
In the Design By Contract (DBC) approach, programmers specify methods with pre and postconditions (also called contracts). Earlier work added protocols to the DBC approach to desc...
124
click to vote
IDEAS
2005
IEEE
15 years 7 months ago
2005
IEEE
A substantial subset of the web data follows some kind of underlying structure. Nevertheless, HTML does not contain any schema or semantic information about the data it represents...
104
click to vote
SEMWEB
2005
Springer
15 years 7 months ago
2005
Springer
E-science experiments typically involve many distributed services maintained by different organisations. After an experiment has been executed, it is useful for a scientist to ver...