302 search results - page 29 / 61 » Indexing the Java API Using Source Code |
151
click to vote
ISSTA
2012
ACM
13 years 4 months ago
2012
ACM
To avoid receiving incorrect arguments, a method specifies the expected type of each formal parameter. However, some parameter types are too general and have subtypes that the me...
112
click to vote
JSS
2007
15 years 2 months ago
2007
Without rigorous software development and maintenance, software tends to lose its original architectural structure and become difficult to understand and modify. ArchJava, a recen...
BIOINFORMATICS
2008
15 years 2 months ago
2008
Residue coevolution has recently emerged as an important concept, especially in the context of protein structures. While a multitude of different functions for quantifying it have...
125
click to vote
TGC
2010
Springer
14 years 12 months ago
2010
Springer
Recent work in resource analysis has translated the idea of amortised resource analysis to imperative languages using a program logic that allows mixing of assertions about heap sh...
132
click to vote
DILS
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. Transparent information integration across distributed and heterogeneous data sources and computational tools is a prime concern for bioinformatics. Recently, there have ...