Sciweavers

1213 search results - page 99 / 243
» Traceability for System Families
Sort
View
ESOP
2012
Springer
13 years 8 months ago
GMeta: A Generic Formal Metatheory Framework for First-Order Representations
Abstract. This paper presents GMeta: a generic framework for firstorder representations of variable binding that provides once and for all many of the so-called infrastructure lem...
Gyesik Lee, Bruno C. D. S. Oliveira, Sungkeun Cho,...
110
Voted
JUCS
2008
144views more  JUCS 2008»
15 years 23 days ago
Embedded Software Revitalization through Component Mining and Software Product Line Techniques
: The mining of generic software components from legacy systems can be used as an auxiliary technique to revitalize systems. This paper presents a software maintenance approach tha...
Marcelo A. Ramos, Rosângela Dellosso Pentead...
113
Voted
ISDA
2009
IEEE
15 years 7 months ago
Extending Datatype Restrictions in Fuzzy Description Logics
Fuzzy Description Logics (DLs) are a family of logics which allow the representation of (and the reasoning within) structured knowledge affected by vagueness. Although a relativel...
Fernando Bobillo, Umberto Straccia
MATES
2009
Springer
15 years 7 months ago
Unifying JIAC Agent Development with AWE
In this paper we describe the Agent World Editor, a tool for designing multi-agent systems and generating executable agent code. The tool also unifies the handling of different a...
Marco Lützenberger, Tobias Küster, Axel ...
110
Voted
CDC
2008
IEEE
113views Control Systems» more  CDC 2008»
15 years 7 months ago
Transport metrics for power spectra
— We present a family of metrics for power spectra based on the Monge-Kantorivic transportation distances. These metrics are constructed so that distances reduce with additive an...
Johan Karlsson, Mir Shahrouz Takyar, Tryphon T. Ge...