8446 search results - page 1133 / 1690 » A Process Compensation Language |
178
click to vote
MODELS
2007
Springer
16 years 1 months ago
2007
Springer
The integration of different models, such as scenarios, is an important component of the requirements engineer’s work. If manually performed, the integration operation is error-...
205
click to vote
MODELS
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. In this paper, we deal with model-based automatic test generation. We show how to use UML state machines, UML class diagrams, and OCL expressions to automatically derive ...
148
click to vote
MODELS
2007
Springer
16 years 1 months ago
2007
Springer
We discuss the use of models for run-time error detection to improve user-perceived reliability of consumer electronics products. The aim is to apply the approach in industrial pro...
181
click to vote
NLDB
2007
Springer
16 years 1 months ago
2007
Springer
This paper investigates query translation in cross-lingual information retrieval, especially the challenges caused by ambiguity and polysemi. We base our ideas on feature vectors a...
156
click to vote
WIA
2007
Springer
16 years 1 months ago
2007
Springer
We improve an existing bisimulation minimisation algorithm for tree automata by introducing backward and forward bisimulations and developing minimisation algorithms for them. Mini...