Sciweavers

22018 search results - page 4137 / 4404
» or 2004
Sort
View
BIOADIT
2004
Springer
16 years 2 days ago
The Genealogy of Biomimetics: Half a Century?s Quest for Dynamic IT
Abstract. Biologically inspired approaches to the design of general IT are presently flourishing. Investigating the scientific and historical roots of the tendency will serve to pr...
Mikkel Holm Sørensen
BIRTHDAY
2004
Springer
16 years 2 days ago
A Trace Semantics for Long-Running Transactions
Abstract. A long-running transaction is an interactive component of a distributed system which must be executed as if it were a single atomic action. In principle, it should not be...
Michael J. Butler, C. A. R. Hoare, Carla Ferreira
BIRTHDAY
2004
Springer
16 years 2 days ago
Von der Kommerzialisierung bis zum Deep Web: Problemfelder der Internetsuche
Die Suchdienste des Internet entwickeln sich nicht nur im privaten sondern z.T. auch im professionellen Bereich zu den zentralen Hilfsmitteln zur Befriedigung von InformationsbedÃ...
Joachim Griesbaum, Bernard Bekavac
203
Voted
BIRTHDAY
2004
Springer
16 years 2 days ago
Pure Type Systems in Rewriting Logic: Specifying Typed Higher-Order Languages in a First-Order Logical Framework
Abstract. The logical and operational aspects of rewriting logic as a logical framework are tested and illustrated in detail by representing pure type systems as object logics. Mor...
Mark-Oliver Stehr, José Meseguer
BIRTHDAY
2004
Springer
16 years 2 days ago
Psychologische Theorien sind Information-Retrieval-Verfahren
Psychological models of learning, forgetting, and memory processes are presented. These models describe human information processing as the formation and retrieval of associations...
Manfred Wettler
« Prev « First page 4137 / 4404 Last » Next »