5578 search results - page 673 / 1116 » Base Class Injection |
208
click to vote
CSFW
1996
IEEE
15 years 11 months ago
1996
IEEE
In this paper we compare two information flow security properties: the lazy security (L-Sec) [11] and the Bisimulation Non-deducibility on Compositions (BNDC) [4]. To make this we...
205
click to vote
IPPS
1996
IEEE
15 years 11 months ago
1996
IEEE
In many concurrent programming languages programs are difficult to extend and modify. This is because changes in a concurrent program (either through modification or extension) re...
169
click to vote
ISMIS
1997
Springer
15 years 11 months ago
1997
Springer
Intelligent presentation of data requires exibility of expression based on user needs and data content, both of which evolve. This exibility is not o ered by the current generatio...
174
click to vote
PATAT
1997
Springer
15 years 11 months ago
1997
Springer
In this study we have tackled the NP-hard problem of academic class scheduling (or timetabling) at the university level. We have investigated a variety of approaches based on simu...
204
click to vote
AGP
1994
IEEE
15 years 11 months ago
1994
IEEE
act Interpretation Framework for (almost) Full Prolog1 B. Le Charlier S. Rossi P. Van Hentenryck University of Namur University of Padova Brown University 21 rue Grandgagnage 7 via...