4419 search results - page 209 / 884 » Information Science in Transition |
109
click to vote
GI
2003
Springer
15 years 9 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...
134
click to vote
ISAAC
2003
Springer
15 years 9 months ago
2003
Springer
This paper introduces quantum “multiple-Merlin”-Arthur proof systems in which Arthur receives multiple quantum proofs that are unentangled with each other. Although classical ...
122
click to vote
ERSHOV
2001
Springer
15 years 8 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...
124
click to vote
HOA
1993
15 years 8 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...
106
click to vote
GI
2007
Springer
15 years 8 months ago
2007
Springer
Abstract: Aktuelle Innovationen der Informations- und Kommunikationstechnologie (IuK), wie sie etwa unter den Schlagworten ortsbasierte Dienste bzw. intelligente Handlungsumgebunge...