4615 search results - page 89 / 923 » Virtual Classes and Their Implementation |
OOPSLA
1997
Springer
14 years 29 days ago
1997
Springer
In an object-oriented programming language, method selection is (usually) done at run-time using the class of the receiver. Some object-orientedlanguages(such as CLOS) have multi-...
ESORICS
2006
Springer
14 years 14 days ago
2006
Springer
With the growing trend towards the use of web applications the danger posed by cross site scripting vulnerabilities gains severity. The most serious threats resulting from cross si...
EUROPAR
2007
Springer
14 years 3 months ago
2007
Springer
Iterated Runge-Kutta (IRK) methods are a class of explicit solution methods for initial value problems of ordinary differential equations (ODEs) which possess a considerable poten...
FOCS
2005
IEEE
14 years 2 months ago
2005
IEEE
This paper proves ¡ £ ¥ lower bounds on the time to perform a single instance of an operation in any implementation of a large class of data structures shared by £ processe...
TPHOL
1997
IEEE
14 years 1 months ago
1997
IEEE
This paper describes the concept of higher order quotients and an implementation in Isabelle. Higher order quotients are a generalization of quotients. They use partial equivalence...