3515 search results - page 572 / 703 » On the semantics of Strategy Logic |
196
click to vote
CCS
1998
ACM
15 years 11 months ago
1998
ACM
This paper gives a mathematical specification the Java Virtual Machine (JVM) bytecode verifier. The specification is an axiomatic description of the verifier that makes precise su...
187
click to vote
ERCIMDL
1998
Springer
15 years 11 months ago
1998
Springer
As experimental digital library testbeds gain wider acceptance and develop significant user bases, it becomes important to investigate the ways in which users interact with the sys...
175
click to vote
POS
1998
Springer
15 years 11 months ago
1998
Springer
Java is a popular, object oriented language that is runtime type safe. As such, it has been seen as an attractive basis for the implementation of orthogonally persistent systems b...
172
click to vote
HT
1996
ACM
15 years 11 months ago
1996
ACM
With the widespread use of full-text information retrieval, passage-retrieval techniques are becoming increasingly popular. Larger texts can then be replaced by important text exc...
157
click to vote
VLDB
1992
ACM
15 years 11 months ago
1992
ACM
Most extensibledatabasesystemssupportaddition of new indexes or new data types. However, the referencepatterns exhibited by these new indexes may not be efficiently supportedby ex...