Sciweavers

4061 search results - page 384 / 813
» Framework Evolution Tool
Sort
View
SAS
2010
Springer
139views Formal Methods» more  SAS 2010»
15 years 5 months ago
Interprocedural Analysis with Lazy Propagation
We propose lazy propagation as a technique for flow- and context-sensitive interprocedural analysis of programs with objects and first-class functions where transfer functions ma...
Simon Holm Jensen, Anders Møller, Peter Thi...
ICSE
2008
IEEE-ACM
16 years 7 months ago
Using JULE to generate a compliance test suite for the UML standard
The Java-UML Lightweight Enumerator (JULE) tool implements a vitally important aspect of the framework for software tool certification - test suite generation. The framework uses ...
Panuchart Bunyakiati, Anthony Finkelstein, James S...
VLDB
2003
ACM
114views Database» more  VLDB 2003»
16 years 7 months ago
Managing multiple and distributed ontologies on the Semantic Web
Abstract. In traditional software systems, significant attention is devoted to keeping modules well separated and coherent with respect to functionality, thus ensuring that changes...
Alexander Maedche, Boris Motik, Ljiljana Stojanovi...
ECAL
2007
Springer
16 years 1 months ago
Grounding Action-Selection in Event-Based Anticipation
Anticipation is one of the key aspects involved in flexible and adaptive behavior. The ability for an autonomous agent to extract a relevant model of its coupling with the environ...
Philippe Capdepuy, Daniel Polani, Chrystopher L. N...
ECTEL
2007
Springer
16 years 1 months ago
An Ontology based Web Annotation System to Create New Learning Practices
Web2.0 is a conceptual framework that aims at enhancing the World Wide Web with semantic and social functionnalities. For this framework to fully develop, there is a need for concr...
Christophe Piombo, Hadj Batatia, Pascal Dayre, Ala...