1737 search results - page 207 / 348 » On Interpolation in Existence Logics |
171
click to vote
SEMCO
2007
IEEE
16 years 20 days ago
2007
IEEE
Many recent advances in complex domains such as Natural Language Processing (NLP) have taken a discriminative approach in conjunction with the global application of structural and...
167
click to vote
ECSA
2007
Springer
16 years 17 days ago
2007
Springer
Abstract. The conceptual modelling of software architectures is of central importance for the quality of a software system. A rich modelling language is required to integrate the d...
147
click to vote
ER
2007
Springer
16 years 16 days ago
2007
Springer
This paper intends to classify, review, and compare the existing languages for the specification of spatial integrity constraints at the conceptual level. We classify these languag...
157
click to vote
ICCS
2007
Springer
16 years 16 days ago
2007
Springer
The GENIE project has built a Grid enabled framework that facilitates the integration, execution and management of component models for the study of the Earth system over millennia...
171
click to vote
IFL
2007
Springer
16 years 16 days ago
2007
Springer
Abstract. Refactoring is a technique for improving the design of existing programs without changing their behaviour. Wrangler is a tool built at the University of Kent to support E...