Sciweavers

5830 search results - page 167 / 1166
» Automatic link generation
Sort
View
ICSE
2007
IEEE-ACM
16 years 4 months ago
STRADA: A Tool for Scenario-Based Feature-to-Code Trace Detection and Analysis
Software engineers frequently struggle with understanding the relationships between the source code of a system and its requirements or high-level features. These relationships ar...
Alexander Egyed, Gernot Binder, Paul Grünbach...
IFM
2005
Springer
15 years 10 months ago
Generating Path Conditions for Timed Systems
We provide an automatic method for calculating the path condition for programs with real time constraints. This method can be used for the semiautomatic verification of a unit of ...
Saddek Bensalem, Doron Peled, Hongyang Qu, Stavros...
MHCI
2005
Springer
15 years 10 months ago
Dynamic generation of web migratory interfaces
In this paper, we present a solution for dynamic generation of Web user interfaces that can dynamically migrate among different platforms. The solution is based on a migration/pro...
Renata Bandelloni, Giulio Mori, Fabio Patern&ograv...
DEXAW
2007
IEEE
133views Database» more  DEXAW 2007»
15 years 8 months ago
Generating a Topic Hierarchy from Dialect Texts
We built a system for the automatic creation of a textbased topic hierarchy, meant to be used in a geographically defined community. This poses two main problems. First, the appea...
Wim De Smet, Marie-Francine Moens
IJCAI
2001
15 years 6 months ago
Title Generation for Machine-Translated Documents
In this paper, we present and compare automatically generated titles for machine-translated documents using several different statistics-based methods. A Na
Rong Jin, Alexander G. Hauptmann