3104 search results - page 365 / 621 » Using quantitative analysis to implement autonomic IT system... |
150
click to vote
BMCBI
2006
15 years 6 months ago
2006
Background: Analysis of DNA microarray data takes as input spot intensity measurements from scanner software and returns differential expression of genes between two conditions, t...
156
click to vote
ENTCS
2007
15 years 6 months ago
2007
This paper promotes compositional reasoning in the context of safety-critical systems, and demonstrates a safety-oriented component model using an application from the automotive ...
163
click to vote
PODS
2005
ACM
16 years 6 months ago
2005
ACM
Program analysis has been increasingly used in software engineering tasks such as auditing programs for security vulnerabilities and finding errors in general. Such tools often re...
189
click to vote
ICSE
2005
IEEE-ACM
16 years 6 months ago
2005
IEEE-ACM
Sensitive data are increasingly available on-line through the Web and other distributed protocols. This heightens the need to carefully control access to data. Control means not o...
175
click to vote
WWW
2003
ACM
16 years 6 months ago
2003
ACM
The integration of data produced and collected across autonomous, heterogeneous web services is an increasingly important and challenging problem. Due to the lack of global identi...