4350 search results - page 178 / 870 » Case studies for contract-based systems |
168
click to vote
MSWIM
2006
ACM
15 years 10 months ago
2006
ACM
In recent years different authors have proposed the used of random-walk-based algorithms for varying tasks in the networking community. These proposals include searching, routing...
112
click to vote
CISIS
2010
IEEE
15 years 9 months ago
2010
IEEE
Abstract—Program performance optimisations, feedbackdirected iterative compilation and auto-tuning systems [1] all assume a fixed estimation of execution time given a fixed inp...
138
click to vote
ISSRE
2003
IEEE
15 years 9 months ago
2003
IEEE
Software testing and software fault tolerance are two major techniques for developing reliable software systems, yet limited empirical data are available in the literature to eval...
162
click to vote
BMCBI
2010
15 years 4 months ago
2010
Background: Mass spectrometry is an essential technique in proteomics both to identify the proteins of a biological sample and to compare proteomic profiles of different samples. ...
161
click to vote
KR
2010
Springer
15 years 9 months ago
2010
Springer
Horn fragments of Description Logics (DLs) have gained popularity because they provide a beneficial trade-off between expressive power and computational complexity and, more spec...