Sciweavers

CJ
2000
76views more  CJ 2000»
13 years 11 months ago
Overlapping Linear Quadtrees and Spatio-Temporal Query Processing
Theodoros Tzouramanis, Michael Vassilakopoulos, Ya...
CJ
2000
85views more  CJ 2000»
13 years 11 months ago
Arguments and Results
If an object oriented program is a collection of communicating objects, then the objects' protocols de ne the languages the program speaks. Unfortunately, protocols are di cu...
James Noble
CJ
2000
73views more  CJ 2000»
13 years 11 months ago
Fringe Analysis of 2-3 Trees with Lazy Parent Split
Antigoni Manousaka, Yannis Manolopoulos
CJ
2000
101views more  CJ 2000»
13 years 11 months ago
Safe Structural Conformance for Java
In Java, an interface specifies public abstract methods and associated public constants. Conformance of a class to an interface is by name. We propose to allow structural conforma...
Konstantin Läufer, Gerald Baumgartner, Vincen...
CJ
2000
59views more  CJ 2000»
13 years 11 months ago
A Recovery Mechanism for Shells
Ian Holyer, Hüseyin Pehlivan
CJ
2000
61views more  CJ 2000»
13 years 11 months ago
Programming by Numbers: A Programming Method for Novices
Hugh Glaser, Pieter H. Hartel, Paul W. Garratt
CJ
2000
52views more  CJ 2000»
13 years 11 months ago
Modular Analysis of Petri Nets
Søren Christensen, Laure Petrucci
CJ
2000
79views more  CJ 2000»
13 years 11 months ago
Conceptual Graphs and First Order Logic
Gianni Amati, Iadh Ounis