877 search results - page 94 / 176 » Annotated Revision Programs |
FASE
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. Blast is an automatic verification tool for checking temporal safety properties of C programs. Given a C program and a temporal safety property, Blast statically proves ...
ECOOP
2008
Springer
13 years 10 months ago
2008
Springer
Abstract. Javari is an extension of Java that supports reference immutability constraints. Programmers write readonly type qualifiers and other constraints, and the Javari typechec...
GEOINFORMATICA
2011
13 years 4 months ago
2011
Discovery of suitable web services is a crucial task in Spatial Data Infrastructures (SDI). In this work, we develop a novel approach to the discovery of geoprocessing services (WP...
BMCBI
2002
13 years 8 months ago
2002
Background: Functional genomics involves the parallel experimentation with large sets of proteins. This requires management of large sets of open reading frames as a prerequisite ...
KDD
2002
ACM
14 years 9 months ago
2002
ACM
Multimedia data mining requires the ability to automatically analyze and understand the content. The Community of Multimedia Agents project is devoted to creating a community of re...