3108 search results - page 146 / 622 » The Elements of Computer Credibility |
135
click to vote
FASE
2007
Springer
15 years 11 months ago
2007
Springer
The Declared Type Generalization Checker is a plug-in for Eclipse’s Java Development Tools (JDT) that supports developers in systematically finding and using better fitting types...
137
click to vote
STACS
2007
Springer
15 years 11 months ago
2007
Springer
We consider the problem of maintaining aggregates over recent elements of a massive data stream. Motivated by applications involving network data, we consider asynchronous data str...
157
click to vote
BMCBI
2008
15 years 5 months ago
2008
Background: The regulation of gene expression is complex and occurs at many levels, including transcriptional and post-transcriptional, in metazoans. Transcriptional regulation is...
132
Voted
IMR
1999
Springer
15 years 9 months ago
1999
Springer
In computational simulation of coupled, multicomponent systems, it is frequently necessary to transfer data between meshes that may di er in resolution, structure, and discretizat...
143
click to vote
IEAAIE
2000
Springer
15 years 8 months ago
2000
Springer
The computer systems for the decision-making must provide in a synthetic and simple way the necessary elements to the decisionmaker. That is why, it is indispensable to build Compu...