3515 search results - page 495 / 703 » On the semantics of Strategy Logic |
187
Voted
CCS
2004
ACM
16 years 25 days ago
2004
ACM
We propose a type and effect system for authentication protocols built upon a tagging scheme that formalizes the intended semantics of ciphertexts. The main result is that the val...
199
click to vote
ICFEM
2004
Springer
16 years 24 days ago
2004
Springer
Abstract. We present a “memory-model-sensitive” approach to validating correctness properties for multithreaded programs. Our key insight is that by specifying both the inter-t...
206
Voted
SEKE
2004
Springer
16 years 23 days ago
2004
Springer
We present an approach for mapping an OWL ontology into Java. The basic idea is to create a set of Java interfaces and classes from an OWL ontology such that an instance of a Java ...
202
click to vote
SEMWEB
2004
Springer
16 years 23 days ago
2004
Springer
We argue that in a distributed context, such as the Semantic Web, ontology engineers and data creators often cannot control (or even imagine) the possible uses their data or ontolo...
213
Voted
PDP
2003
IEEE
16 years 21 days ago
2003
IEEE
File I/O data is interpreted by high performance parallel/distributed applications mostly as a sequence of arbitrary bits. This leads to the situation where data is ’volatile’...