Sciweavers

12441 search results - page 2277 / 2489
» Frame Based Features
Sort
View
CSFW
2002
IEEE
15 years 11 months ago
Types and Effects for Asymmetric Cryptographic Protocols
We present the first type and effect system for proving authenticity properties of security protocols based on asymmetric cryptography. The most significant new features of our ...
Andrew D. Gordon, Alan Jeffrey
GEOS
2009
Springer
15 years 11 months ago
Bottom-Up Gazetteers: Learning from the Implicit Semantics of Geotags
As directories of named places, gazetteers link the names to geographic footprints and place types. Most existing gazetteers are managed strictly top-down: entries can only be adde...
Carsten Keßler, Patrick Maué, Jan Tor...
ICCS
2001
Springer
15 years 11 months ago
Large-Scale Cooperatively-Built KBs
We describe a knowledge server that permits Web users to retrieve and add knowledge in a shared knowledge base. The following features distinguish WebKB-2 from other ontology serve...
Philippe Martin, Peter W. Eklund
VLDB
2001
ACM
148views Database» more  VLDB 2001»
15 years 11 months ago
Indexing and Querying XML Data for Regular Path Expressions
With the advent of XML as a standard for data representation and exchange on the Internet, storing and querying XML data becomes more and more important. Several XML query languag...
Quanzhong Li, Bongki Moon
SIGUCCS
2000
ACM
15 years 11 months ago
Remedial Help Desk 101 at Florida State University
The User Services division of the Office of Technology Integration is the "safety net" for computer support at Florida State University (FSU). Areas of support include t...
Diana Orrick, Jeff Bauer, Ernest McDuffie
« Prev « First page 2277 / 2489 Last » Next »