4211 search results - page 589 / 843 » Types as Abstract Interpretations |
161
click to vote
ERCIMDL
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. This paper describes CAP7, a system for searching and browsing in distributed document (metadata) collections. The system architecture is similar to Harvest, comprising g...
175
click to vote
ISW
2000
Springer
15 years 10 months ago
2000
Springer
We propose a simple classification method for public-key based authentication protocols, which consists of identifying several basic properties leading to a large number of generic...
177
click to vote
JSSPP
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. Buffered coscheduling is a new methodology that can substantially increase resource utilization, improve response time, and simplify the development of the run-time suppo...
169
click to vote
SPATIALCOGNITION
2000
Springer
15 years 10 months ago
2000
Springer
Schematic maps are effective tools for representing information e physical environment; they depict specific information in an abstract way. This study concentrates on spatial aspe...
181
click to vote
CVRMED
1995
Springer
15 years 10 months ago
1995
Springer
Abstract. Intensity-based classification of MR images has proven problematic, even when advanced techniques are used. Intra-scan and interscan intensity inhomogeneities are a comm...