26 search results - page 5 / 6 » A Replicate Empirical Comparison between Pair Development an... |
EMSOFT
2011
Springer
12 years 5 months ago
2011
Springer
As system integration becomes an increasingly important challenge for complex real-time systems, there has been a significant demand for supporting real-time systems in virtualiz...
BMCBI
2008
13 years 6 months ago
2008
Background: Protein structure analysis and comparison are major challenges in structural bioinformatics. Despite the existence of many tools and algorithms, very few of them have ...
JCB
2007
13 years 6 months ago
2007
Prokaryotic organisms share genetic material across species boundaries by means of a process known as horizontal gene transfer (HGT). This process has great significance for unde...
IUI
2000
ACM
13 years 10 months ago
2000
ACM
Thanks to recent scientific advances, it is now possible to design multimodal interfaces allowing the use of speech and pointing out gestures on a touchscreen. However, present sp...
POPL
2007
ACM
14 years 6 months ago
2007
ACM
In this paper, we propose a new algorithm for proving the validity or invalidity of a pre/postcondition pair for a program. The algorithm is motivated by the success of the algori...