Sciweavers

7206 search results - page 1152 / 1442
» Using a Hypermedia System for Systems Engineering
Sort
View
BIRTHDAY
2005
Springer
15 years 10 months ago
Synthesis Revisited: Generating Statechart Models from Scenario-Based Requirements
Constructing a program from a specification is a long-known general and fundamental problem. Besides its theoretical interest, this question also has practical implications, since...
David Harel, Hillel Kugler, Amir Pnueli
CIKM
2005
Springer
15 years 10 months ago
Static score bucketing in inverted indexes
Maintaining strict static score order of inverted lists is a heuristic used by search engines to improve the quality of query results when the entire inverted lists cannot be proc...
Chavdar Botev, Nadav Eiron, Marcus Fontoura, Ning ...
FSMNLP
2005
Springer
15 years 10 months ago
Klex: A Finite-State Transducer Lexicon of Korean
This paper describes the implementation and system details of Klex, a finite-state transducer lexicon for the Korean language, developed using XRCE’s Xerox Finite State Tool (XF...
Na-Rae Han
ICWE
2005
Springer
15 years 10 months ago
MDA Transformations Applied to Web Application Development
Current Web generation techniques are mainly hard-coded for predefined architectures of Web applications. Consequently, there is a gap between Web design models and the final imple...
Santiago Meliá, Andreas Kraus, Nora Koch
SERA
2005
Springer
15 years 10 months ago
MADL: Meta Architecture Description Language
: The techniques of meta-modeling and meta-levels have become a mature concept and have been largely used to solve real problems in programming languages, distributed environments,...
Adel Smeda, Mourad Oussalah, Tahar Khammaci
« Prev « First page 1152 / 1442 Last » Next »