Sciweavers

5748 search results - page 941 / 1150
» Contexts for the Semantic Web
Sort
View
FASE
2004
Springer
15 years 10 months ago
Translating Software Designs for Model Checking
Abstract. This paper presents a systematic consideration of the major issues involved in translation of executable design level software specification languages to directly model-c...
Fei Xie, Vladimir Levin, Robert P. Kurshan, James ...
FQAS
2004
Springer
122views Database» more  FQAS 2004»
15 years 10 months ago
Simplification of Integrity Constraints with Aggregates and Arithmetic Built-Ins
In the context of relational as well as deductive databases, correct and efficient integrity checking is a crucial issue, as, without any guarantee of data consistency, the answers...
Davide Martinenghi
ECAI
2006
Springer
15 years 10 months ago
Computational Opinions
Existing approaches to knowledge representation and reasoning in the context of open systems either deal with "objective" knowledge or with beliefs. In contrast, there ha...
Felix A. Fischer, Matthias Nickles
ECOOP
2006
Springer
15 years 10 months ago
Improving AOP Systems' Evolvability by Decoupling Advices from Base Code
The evolvability of AOP systems is severely affected by the tight coupling between aspects and base code. This paper identifies the advice fragility problem, originated in the need...
Alan Cyment, Nicolas Kicillof, Rubén Altman...
199
Voted
MA
2000
Springer
104views Communications» more  MA 2000»
15 years 10 months ago
Portable Support for Transparent Thread Migration in Java
In this paper, we present a mechanism to capture and reestablish the state of Java threads. We achieve this by extracting a thread's execution state from the application code ...
Eddy Truyen, Bert Robben, Bart Vanhaute, Tim Conin...