2696 search results - page 428 / 540 » Semantic Abstraction and Anaphora |
194
click to vote
FM
2009
Springer
16 years 27 days ago
2009
Springer
Abstract. Many long-lived and distributed systems must remain available yet evolve over time, due to, e.g., bugfixes, feature extensions, or changing user requirements. To facilit...
166
click to vote
MODELS
2009
Springer
16 years 26 days ago
2009
Springer
The standardized QVT Relations language, one cornerstone of Model-Driven Architecture (MDA), has not yet gained widespread use in practice, not least due to missing tool support in...
167
click to vote
PPDP
2009
Springer
16 years 26 days ago
2009
Springer
We propose a novel approach to encapsulate non-deterministic computations in functional logic programs. Our approach is based on set functions that return the set of all the resul...
193
click to vote
SEMWEB
2009
Springer
16 years 26 days ago
2009
Springer
Abstract. Recently, the W3C Linking Open Data effort has boosted the publication and inter-linkage of large amounts of RDF datasets on the Semantic Web. Various ontologies and know...
145
click to vote
ISSTA
2009
ACM
16 years 25 days ago
2009
ACM
This paper explores an approach to improving the practical usability of static verification tools for debugging synchronization idioms. Synchronization idioms such as mutual excl...