3081 search results - page 479 / 617 » A Formal Ontology of Properties |
151
click to vote
DOCENG
2006
ACM
16 years 13 days ago
2006
ACM
With the development of variable-data-driven digital presses where each document printed is potentially unique there is a need for pre-press optimization to identify material that...
210
click to vote
CSFW
2005
IEEE
16 years 3 days ago
2005
IEEE
We develop a general method for proving properties of contract-signing protocols using a specialized protocol logic. The method is applied to the Asokan-ShoupWaidner and the Garay...
169
click to vote
INFOCOM
2005
IEEE
16 years 2 days ago
2005
IEEE
Abstract— The distributed hash table (DHT) scheme has become the core component of many large-scale peer-to-peer networks. Degree, diameter, and congestion are important measures...
169
click to vote
ATAL
2005
Springer
16 years 21 hour ago
2005
Springer
We present a general logic of explicit knowledge represented as finite sets of logical formulae which can evolve by nondeterministic reasoning and communication. It is partly bas...
162
click to vote
CAV
2005
Springer
16 years 18 hour ago
2005
Springer
Bounded model checking is an efficient method for finding bugs in system designs. The major drawback of the basic method is that it cannot prove properties, only disprove them. R...