3081 search results - page 531 / 617 » A Formal Ontology of Properties |
166
click to vote
SACRYPT
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. This paper formalizes the security adversarial games for online symmetric cryptosystems in a unified framework for deterministic and probabilistic encryption schemes. On...
167
click to vote
WEBDB
2004
Springer
15 years 11 months ago
2004
Springer
Among the various proposals answering the shortcomings of Document Type Definitions (DTDs), XML Schema is the most widely used. Although DTDs and XML Schema Defintions (XSDs) di...
173
click to vote
COOPIS
2003
IEEE
15 years 11 months ago
2003
IEEE
Abstract. In [11], we proposed an algebra with four algebraic operators, whose composition can be used to generate valid compound terms in a given faceted taxonomy in an efficient ...
176
click to vote
INFOCOM
2003
IEEE
15 years 11 months ago
2003
IEEE
— Mobile ad hoc networking has been an active research area for several years. How to stimulate cooperation among selfish mobile nodes, however, is not well addressed yet. In th...
136
click to vote
ISQED
2003
IEEE
15 years 11 months ago
2003
IEEE
Mind-boggling complexity of EDA tools necessitates reuse of intellectual property in any large-scale commercial or academic operation. However, due to the nature of software, a to...