2696 search results - page 470 / 540 » Semantic Abstraction and Anaphora |
186
click to vote
FASE
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. Reference process models capture recurrent business operations in a given domain such as procurement or logistics. These models are intended to be configured to fit the r...
169
click to vote
FASE
2008
Springer
15 years 8 months ago
2008
Springer
For a number of programming languages, among them Eiffel, C, Java and Ruby, Hoare-style logics and dynamic logics have been developed. In these logics, pre- and postconditions are ...
179
click to vote
FM
2008
Springer
15 years 7 months ago
2008
Springer
Abstract. The paper presents a deductive framework for proving program equivalence and its application to automatic verification of transformations performed by optimizing compiler...
164
click to vote
IESA
2007
15 years 7 months ago
2007
Conventional approaches to manage and control security seem to have reached their limits in new complex environments. These environments are open, dynamic, heterogeneous, distribut...
186
click to vote
AIMSA
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. Ontology based data access (OBDA) is concerned with providing access to typically very large data sources through a mediating conceptual layer that allows one to improve ...