5904 search results - page 866 / 1181 » Requirements for a Composition Language |
110
click to vote
ICSM
1999
IEEE
15 years 8 months ago
1999
IEEE
The FermaT transformation system, based on research carried out over the last twelve years at Durham University and Software Migrations Ltd., is an industrial-strength formal tran...
132
click to vote
FM
1999
Springer
15 years 8 months ago
1999
Springer
ÐIn this paper, we describe the incremental specification of a power transformer station controller using a controller synthesis methodology. We specify the main requirements as s...
124
Voted
ISN
1999
Springer
15 years 8 months ago
1999
Springer
The competitive pressures of the telecoms sector are leading to a major push towards the automation and integration of many operational support processes. This creates pressures to...
147
click to vote
ERCIMDL
1998
Springer
15 years 8 months ago
1998
Springer
In this paper we discuss the construction of an automated information system for a collection of visual reproductions of art objects. Special attention is payed to the economical a...
136
click to vote
ADL
1997
Springer
15 years 8 months ago
1997
Springer
Successful applications of digital libraries require structured access to sources of information. This paper presents an approach to extract the logical structure of text document...