3081 search results - page 612 / 617 » A Formal Ontology of Properties |
133
Voted
TCS
2002
15 years 1 months ago
2002
Suppose a principal in a cryptographic protocol creates and transmits a message containing a new value v, later receiving v back in a different cryptographic context. It can concl...
128
Voted
WINET
2002
15 years 1 months ago
2002
Wireless ad-hoc sensor networks have the potential to provide the missing interface between the physical world and the Internet, thus impacting a large number of users. This conne...
108
click to vote
JFP
2010
15 years 8 days ago
2010
Transient faults that arise in large-scale software systems can often be repaired by re-executing the code in which they occur. Ascribing a meaningful semantics for safe re-execut...
100
Voted
KBS
2010
15 years 8 days ago
2010
The users of a content repository express the semantics they have in mind while defining the content items and their properties, and forming them into a particular hierarchy. How...
136
click to vote
SCP
2010
15 years 7 days ago
2010
The SPIN model checker and its specification language Promela have been used extensively in industry and academia to check logical properties of distributed algorithms and protoc...