6941 search results - page 1027 / 1389 » Testing as a Certification Approach |
153
click to vote
CHI
2003
ACM
16 years 7 months ago
2003
ACM
Although PDAs typically run applications in a "standalone" mode, they are increasingly equipped with wireless communications, which makes them useful in new domains. Thi...
298
click to vote
POPL
2008
ACM
16 years 7 months ago
2008
ACM
Contracts are behavioural descriptions of Web services. We devise a theory of contracts that formalises the compatibility of a client to a service, and the safe replacement of a s...
210
click to vote
RECOMB
2004
Springer
16 years 7 months ago
2004
Springer
The prediction of translation initiation sites (TISs) in eukaryotic mRNAs has been a challenging problem in computational molecular biology. In this paper, we present a new algori...
154
click to vote
RECOMB
2001
Springer
16 years 7 months ago
2001
Springer
Protein-protein interactions play a central role in many cellular functions, and as whole-genome data accumulates, computational methods for predicting these interactions become i...
194
click to vote
OSDI
2008
ACM
16 years 7 months ago
2008
ACM
Dynamic power management in enterprise environments requires an understanding of the relationship between resource utilization and system-level power consumption. Power models bas...