Sciweavers

134 search results - page 26 / 27
» Robust locally testable codes and products of codes
Sort
View
DEBU
2008
100views more  DEBU 2008»
13 years 7 months ago
WAVE: Automatic Verification of Data-Driven Web Services
Data-driven Web services, viewed broadly as interactive systems available on the Web for users and programs, provide the backbone for increasingly complex Web applications. While ...
Alin Deutsch, Victor Vianu
BMCBI
2010
146views more  BMCBI 2010»
13 years 7 months ago
Nonnegative principal component analysis for mass spectral serum profiles and biomarker discovery
Background: As a novel cancer diagnostic paradigm, mass spectroscopic serum proteomic pattern diagnostics was reported superior to the conventional serologic cancer biomarkers. Ho...
Henry Han
WINET
2010
224views more  WINET 2010»
13 years 5 months ago
Hierarchical geographic multicast routing for wireless sensor networks
Wireless sensor networks comprise typically dense deployments of large networks of small wireless capable sensor devices. In such networks, multicast is a fundamental routing servi...
Dimitrios Koutsonikolas, Saumitra M. Das, Y. Charl...
ECRTS
2005
IEEE
14 years 1 months ago
Applying Static WCET Analysis to Automotive Communication Software
The number of embedded computers used in modern cars have increased dramatically during the last years, as they provide increased functionality to a reduced cost compared to previ...
Susanna Byhlin, Andreas Ermedahl, Jan Gustafsson, ...
CASCON
1996
124views Education» more  CASCON 1996»
13 years 8 months ago
Supporting procedural constructs in existing SQL compilers
The draft ofthe SQL/PSM standard de nes a procedural extension to the existing SQL2 language. An essential part of this extension is the support of procedural constructs such as B...
Gene Fuh, Jyh-Herng Chow, Nelson Mendonça M...