5671 search results - page 717 / 1135 » A Semantic Approach to Interpolation |
234
click to vote
APLAS
2010
ACM
15 years 7 months ago
2010
ACM
We consider the problem of specifying data structures with complex sharing in a manner that is both declarative and results in provably correct code. In our approach, abstract data...
205
click to vote
GRID
2008
Springer
15 years 7 months ago
2008
Springer
A Grid information system should rely upon two basic features: the replication and dissemination of information about Grid services and resources, and the distribution of such info...
187
click to vote
IAJIT
2006
15 years 7 months ago
2006
: This paper presents a new and extensible method for information retrieval and content analysis in natural languages (NL). The proposed method is stem-based; stems are extracted b...
136
click to vote
ENTCS
2007
15 years 7 months ago
2007
r introduces an abstract framework for the specification of components with multiple require and provide interfaces that allows the specification of multiple access to a single ...
173
click to vote
IJIEM
2007
15 years 7 months ago
2007
: A service contract typically specifies the service level, i.e., the quality parameters of the service to be performed. In addition to this static part, there is also the need to ...