4476 search results - page 751 / 896 » A flexible framework for engineering |
192
click to vote
FMSP
2000
ACM
15 years 10 months ago
2000
ACM
When a program P fails to satisfy a requirement R supposedly ensured by a detailed speci cation S that was used to implement P, there is a question about whether the problem arise...
180
click to vote
DL
2000
Springer
15 years 10 months ago
2000
Springer
To realise a wide range of applications (including digital libraries) on the Web, a more structured way of accessing the Web is required and such requirement can be facilitated by...
158
click to vote
SAFECOMP
1999
Springer
15 years 10 months ago
1999
Springer
During the last decade, the synchronous approach has proved to meet industrial needs concerning the development of Distributed Control Systems (DCS): as an example, Schneider Elect...
154
click to vote
AMTA
1998
Springer
15 years 10 months ago
1998
Springer
The MT engine of the Janus speech-to-speech translation system is designed around four main principles: 1 an interlingua approach that allows the e cient addition of new languages,...
158
click to vote
ERCIMDL
1997
Springer
15 years 10 months ago
1997
Springer
Abstract. We present a model for complex documents possibly consisting of a hierarchically structured set of images or texts. Documents are represented both at the form level (as s...