Sciweavers

4335 search results - page 524 / 867
» Ontology Engineering Relationally
Sort
View
RULEML
2007
Springer
16 years 26 days ago
Exploiting E-C-A Rules for Defining and Processing Context-Aware Push Messages
The focus of this paper is to show that the E-C-A paradigm offers an excellent approach for specifying the behavior of context-aware information push services. Such a service enabl...
Thomas Beer, Jörg Rasinger, Wolfram Höpk...
SERA
2007
Springer
16 years 26 days ago
A Formal Approach to Test the Robustness of Embedded Systems using Behaviour Analysis
Robustness is an important feature required for embedded systems. This paper presents a methodology to test robustness of such systems. We investigate system behaviour aspects. We...
Antoine Rollet, Fares Saad-Khorchef
FOSSACS
2005
Springer
16 years 8 days ago
A Unifying Model of Variables and Names
Abstract. We investigate a category theoretic model where both “variables” and “names”, usually viewed as separate notions, are particular cases of the more general notion ...
Marino Miculan, Kidane Yemane
OOPSLA
2005
Springer
16 years 7 days ago
An interactive visualization of refactorings retrieved from software archives
We perform knowledge discovery in software archives in order to detect refactorings on the level of classes and methods. Our REFVIS prototype finds these refactorings in CVS repo...
Peter Weißgerber, Stephan Diehl, Carsten G&o...
PROFES
2005
Springer
16 years 7 days ago
Case Study: Software Product Integration Practices
Organizations often encounter problems in the Product Integration process. The difficulties include finding errors at integration related to mismatch between the different componen...
Stig Larsson, Ivica Crnkovic