2271 search results - page 421 / 455 » Scalable Software Libraries |
140
Voted
RTCSA
1999
IEEE
15 years 6 months ago
1999
IEEE
ASTRAL is a high-level formal specification language for real-time (infinite state) systems. It is provided with structuring mechanisms that allow one to build modularized specifi...
137
Voted
KDD
1999
ACM
15 years 6 months ago
1999
ACM
Code synthesis is routinely used in industry to generate GUIs, form lling applications, and database support code and is even used with COBOL. In this paper we consider the questi...
146
click to vote
ELPUB
1998
ACM
15 years 6 months ago
1998
ACM
The rapid growth in all forms of electronic publishing is creating many new problems – both technical and socio-economic. This paper examines some of these from three different ...
113
click to vote
ELPUB
1998
ACM
15 years 6 months ago
1998
ACM
In 1997 the library department at the University of Karlskrona/Ronneby was asked to develop a database which could be used to collate and present all the research material and ong...
160
Voted
EKAW
1992
Springer
15 years 6 months ago
1992
Springer
Process management is a method for improving Boeing's business processes, however many aspects have been difficult to implement. eQuality is a software system based on a frame...