1573 search results - page 169 / 315 » Signs and Formal Concepts |
186
click to vote
ICC
2007
IEEE
16 years 26 days ago
2007
IEEE
- Ontology engineering has been proposed as a formal mechanism for both reducing the complexity of managing the information needed in network management and autonomic systems and f...
203
click to vote
LICS
2007
IEEE
16 years 25 days ago
2007
IEEE
The combination of first-order epistemic logic and formal cryptography offers a potentially very powerful framework for security protocol verification. In this article, we addre...
185
click to vote
RSKT
2007
Springer
16 years 20 days ago
2007
Springer
Abstract. A fundamental data modeling problem in geographical information systems and spatial database systems refers to an appropriate treatment of the vagueness or indeterminacy ...
200
click to vote
SAMT
2007
Springer
16 years 20 days ago
2007
Springer
Performing simple keyword-based search has long been the only way to access information. But for a truly comprehensive search on multimedia data, this approach is no longer su cien...
191
click to vote
CSFW
2006
IEEE
16 years 18 days ago
2006
IEEE
We describe a faithful embedding of the Dolev-Yao model of Backes, Pfitzmann, and Waidner (CCS 2003) in the theorem prover Isabelle/HOL. This model is cryptographically sound in ...