Sciweavers

CJ
2000
76views more  CJ 2000»
13 years 4 months ago
Overlapping Linear Quadtrees and Spatio-Temporal Query Processing
Theodoros Tzouramanis, Michael Vassilakopoulos, Ya...
CJ
2000
85views more  CJ 2000»
13 years 4 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 4 months ago
Fringe Analysis of 2-3 Trees with Lazy Parent Split
Antigoni Manousaka, Yannis Manolopoulos
CJ
2000
101views more  CJ 2000»
13 years 4 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 4 months ago
A Recovery Mechanism for Shells
Ian Holyer, Hüseyin Pehlivan
CJ
2000
61views more  CJ 2000»
13 years 4 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 4 months ago
Modular Analysis of Petri Nets
Søren Christensen, Laure Petrucci
CJ
2000
79views more  CJ 2000»
13 years 4 months ago
Conceptual Graphs and First Order Logic
Gianni Amati, Iadh Ounis