Sciweavers

31387 search results - page 192 / 6278
» Abstracts
Sort
View
CCS
2001
ACM
15 years 11 months ago
Distributed credential chain discovery in trust management: extended abstract
Ninghui Li, William H. Winsborough, John C. Mitche...
CIKM
2001
Springer
15 years 11 months ago
Alternative Representations and Abstractions for Moving Sensors Databases
Jacob Eisenstein, Shahram Ghandeharizadeh, Cyrus S...
COSIT
2001
Springer
134views GIS» more  COSIT 2001»
15 years 11 months ago
Recognition of Abstract Regions in Cartographic Maps
Joe Heike Steinhauer, Tom Wiese, Christian Freksa,...
CSL
2001
Springer
15 years 11 months ago
An Abstract Look at Realizability
act Look at Realizability Edmund Robinson and Guiseppe Rosolini Department of Computer Science Research Report No. RR-01-01 ISSN 1470-5559 March 2001
Edmund Robinson, Giuseppe Rosolini
CSL
2001
Springer
15 years 11 months ago
A Logic for Abstract State Machines
Robert F. Stärk, Stanislas Nanchen