6201 search results - page 1139 / 1241 » Implementation of Axiomatic Language |
138
click to vote
SIGMOD
1999
ACM
15 years 9 months ago
1999
ACM
It is envisaged that the application of the multilevel security (MLS) scheme will enhance exibility and e ectiveness of authorization policies in shared enterprise databases and w...
152
click to vote
ECOOP
1999
Springer
15 years 9 months ago
1999
Springer
Many Java programmers believe they do not have to worry about memory management because of automatic garbage collection. In fact, many Java programs run out of memory unexpectedly ...
170
click to vote
KDD
1999
ACM
15 years 9 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...
160
click to vote
SIGADA
1999
Springer
15 years 9 months ago
1999
Springer
In this paper we will demonstrate how Ada and its Distributed Annex may be used to relocate concurrent objects in a distributed data ow application. This relocation mechanism will...
229
click to vote
ASPLOS
1998
ACM
15 years 9 months ago
1998
ACM
This paper describes the Network-Attached Secure Disk (NASD) storage architecture, prototype implementations of NASD drives, array management for our architecture, and three files...