Sciweavers

19832 search results - page 3783 / 3967
» The Korrontea Data Modeling
Sort
View
GI
2004
Springer
15 years 11 months ago
Mediatorbasierte ad hoc Integration autonomer Web Services
: Ad hoc Integration autonomer Dienste ist ein wichtiger Bestandteil bei der dynamischen Fusion verteilt vorliegender Daten und Methoden. In diesem Papier stellen wir ein komponent...
Uwe Radetzki, Thomas Bode, Armin B. Cremers
SIAMCOMP
1998
114views more  SIAMCOMP 1998»
15 years 6 months ago
Universal Limit Laws for Depths in Random Trees
Random binary search trees, b-ary search trees, median-of-(2k+1) trees, quadtrees, simplex trees, tries, and digital search trees are special cases of random split trees. For these...
Luc Devroye
NAR
2011
267views Computer Vision» more  NAR 2011»
15 years 26 days ago
EcoCyc: a comprehensive database of Escherichia coli biology
EcoCyc (http://EcoCyc.org) is a comprehensive model organism database for Escherichia coli K-12 MG1655. From the scientific literature, EcoCyc captures the functions of individual...
Ingrid M. Keseler, Julio Collado-Vides, Alberto Sa...
ECOOP
1999
Springer
15 years 10 months ago
Dynamic Query-Based Debugging
Program errors are hard to find because of the cause-effect gap between the time when an error occurs and the time when the error becomes apparent to the programmer. Although debu...
Raimondas Lencevicius, Urs Hölzle, Ambuj K. S...
KBSE
1999
IEEE
15 years 10 months ago
Modular and Incremental Analysis of Concurrent Software Systems
Modularization and abstraction are the keys to practical verification and analysis of large and complex systems. We present in an incremental methodology for the automatic analysi...
Hassen Saïdi
« Prev « First page 3783 / 3967 Last » Next »