Sciweavers

61 search results - page 11 / 13
» Focusing and higher-order abstract syntax
Sort
View
APSEC
1999
IEEE
13 years 10 months ago
An Approach for Measuring Software Evolution Using Source Code Features
One of the characteristics of large software systems is that they evolve over time. Evolution patterns include modifications related to the implementation, interfaces and the over...
Ladan Tahvildari, Richard Gregory, Kostas Kontogia...
AGTIVE
2007
Springer
13 years 10 months ago
Visualization, Simulation and Analysis of Reconfigurable Systems
Meta-modeling is well known to define the basic concepts of domain-specific languages in an object-oriented way. Based on graph transformation, an abstract meta-model may be enhanc...
Claudia Ermel, Karsten Ehrig
DLOG
2007
13 years 8 months ago
Optimizing Tableau Reasoning in ALC Extended with Uncertainty
Abstract. There has been an increased interest in recent years to incorporate uncertainty in Description Logics (DLs), and a number of proposals have been put forward for modeling ...
Volker Haarslev, Hsueh-Ieng Pai, Nematollaah Shiri
FUIN
2007
109views more  FUIN 2007»
13 years 6 months ago
Unifying Framework for Rule Semantics: Application to Gene Expression Data
Abstract. The notion of rules is very popular and appears in different flavors, for example as association rules in data mining or as functional dependencies in databases. Their s...
Marie Agier, Jean-Marc Petit, Einoshin Suzuki
CORR
1999
Springer
120views Education» more  CORR 1999»
13 years 5 months ago
A Machine-Independent Debugger--Revisited
Most debuggers are notoriously machine-dependent, but some recent research prototypes achieve varying degrees of machine-independence with novel designs. Cdb, a simple source-leve...
David R. Hanson