2379 search results - page 106 / 476 » Computer Science in the Information Age |
140
click to vote
GI
2003
Springer
15 years 11 months ago
2003
Springer
: The increasing pressure for network accessible information and business applications demands secure, interoperable, cost efficient and user self-service authentication procedures...
154
click to vote
ERSHOV
2001
Springer
15 years 11 months ago
2001
Springer
A general semantics-based framework for the analysis of logic programs with delay declarations is presented. The framework incorporates well known refinement techniques based on r...
151
click to vote
HOA
1993
15 years 10 months ago
1993
Abstract. The Spectrum project concentrates on the process of developing well-structured, precise system speci cations. Spectrum is a speci cation language, with a deduction calcul...
157
click to vote
ACSC
2001
IEEE
15 years 10 months ago
2001
IEEE
Most search systems for querying large document collections---for example, web search engines---are based on well-understood information retrieval principles
148
click to vote
CAD
2002
Springer
15 years 6 months ago
2002
Springer
A reasoning Boolean operation based CAD modeling approach applied to construct heterogeneous material objects is presented. This reasoning Boolean operation consists of a merging ...