1961 search results - page 269 / 393 » PicoDBMS: Validation and Experience |
146
click to vote
SEAA
2008
IEEE
16 years 26 days ago
2008
IEEE
The OSGi Services Platform provides a framework for the dynamic deployment of Java-based applications. It allows to install, to activate, to update and to uninstall application mo...
155
click to vote
TASE
2008
IEEE
16 years 26 days ago
2008
IEEE
Verification techniques like SAT-based bounded model checking have been successfully applied to a variety of system models. Applying bounded model checking to compositional proce...
193
click to vote
AGILEDC
2007
IEEE
16 years 25 days ago
2007
IEEE
A primary measure of success in both student and commercial software development projects is the value delivered to the client. Of equal instructional importance is to what extent...
168
click to vote
BIBE
2007
IEEE
16 years 25 days ago
2007
IEEE
Abstract—In this paper we demonstrate the inherent robustness of minimum distance estimator that makes it a potentially powerful tool for parameter estimation in gene expression ...
147
click to vote
BIBE
2007
IEEE
16 years 25 days ago
2007
IEEE
Alternative splicing is a highly important process in many eukaryotic organisms, but surprisingly little is known about its regulation. Often, this process involves cis-regulatory ...