9067 search results - page 1659 / 1814 » Adaptive Model Checking |
210
click to vote
CIBCB
2007
IEEE
15 years 10 months ago
2007
IEEE
Abstract-- The advance of high-throughput experimental technologies poses continuous challenges to computational data analysis in functional and comparative genomics studies. Gene ...
168
click to vote
ECOOP
2007
Springer
15 years 10 months ago
2007
Springer
With the advent of Java 5 annotations, we note a marked increase in the availability of tools that can statically detect potential null dereferences. For such tools to be truly eff...
151
click to vote
CANDT
2009
15 years 10 months ago
2009
Protest has made the jump between the offline and the online spaces and is frequently used in most virtual worlds available today. Despite the frequency of these protest actions i...
147
click to vote
ITP
2010
15 years 10 months ago
2010
Pitts et al introduced a beautiful theory about names and binding based on the notions of permutation and support. The engineering challenge is to smoothly adapt this theory to a t...
159
click to vote
WIKIS
2010
ACM
15 years 10 months ago
2010
ACM
While text versioning was definitely a part of the original hypertext concept [21, 36, 44], it is rarely considered in this context today. Still, we know that revision control un...