Sciweavers

18209 search results - page 237 / 3642
» Some Remarks on the Paper
Sort
View
JFPLC
2004
15 years 8 months ago
Explications pour comprendre la trace d'un solveur de contraintes sur domaines finis
ABSTRACT. Some works in progress on finite domain constraint solvers concern the implementation of a XML trace of the computation according to the OADymPPaC DTD (for example in GNU...
Gérard Ferrand, Willy Lesaint, Alexandre Te...
FORTE
2003
15 years 8 months ago
Concerning the Ordering of Adaptive Test Sequences
Abstract. The testing of a state-based system may involve the application of a number of adaptive test sequences. Where the implementation under test (IUT) is deterministic, the re...
Robert M. Hierons, Hasan Ural
IADIS
2003
15 years 8 months ago
Revisiting Requirements in Web Modelling Languages
As a consequence of the great number of web modelling languages arisen in the last few years, some criteria to compare them have to be given. Thus, a few authors have made a recol...
Antonia M. Reina Quintero, Jesus Torres Valderrama...
EJC
2000
15 years 8 months ago
User Interface Modelling with UML
Abstract. The Unified Modeling Language (UML) is a natural candidate for user interface (UI) modelling since it is the standard notation for object oriented modelling of applicatio...
Paulo Pinheiro da Silva, Norman W. Paton
COLING
1990
15 years 7 months ago
Parsing Long English Sentences with Pattern Rules
In machine translation, parsing of long English sentences still causes some problems, whereas for short sentences a good machine translation system usually can generate readable t...
Wei-Chuan Li, Tzusheng Pei, Bing-Huang Lee, Chuei-...