365 search results - page 55 / 73 » Using Types as Approximations for Type Checking Prolog Progr... |
107
click to vote
TLDI
2009
ACM
15 years 11 months ago
2009
ACM
For many object-oriented systems, it is often useful to have a runtime architecture that shows networks of communicating objects. But it is hard to statically extract runtime obje...
161
Voted
GEOINFORMATICA
2011
14 years 9 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...
127
click to vote
GPCE
2009
Springer
15 years 1 days ago
2009
Springer
Template languages are widely used within generative programming, because they provide intuitive means to generate software artefacts expressed in a specific object language. Howe...
120
Voted
BMCBI
2005
15 years 2 months ago
2005
Background: The majority of residues in protein structures are involved in the formation of helices and -strands. These distinctive secondary structure patterns can be used to rep...
166
click to vote
JSC
2010
14 years 9 months ago
2010
A uniform verification problem for parameterized systems is to determine whether a temporal property is satisfied for every instance of the system which is composed of an arbitrar...