Sciweavers

4615 search results - page 34 / 923
» Virtual Classes and Their Implementation
Sort
View
TOOLS
1998
IEEE
14 years 27 days ago
Support for Object-Oriented Testing
Object-orientation has rapidly become accepted as the preferred paradigm for large scale system design. There is considerable literature describing approaches to object-oriented d...
Michael Kölling, John Rosenberg
POPL
1997
ACM
14 years 6 days ago
Parameterized Types for Java
Java offers the real possibility that most programs can be written in a type-safe language. However, for Java to be broadly useful, it needs additional expressive power. This pape...
Andrew C. Myers, Joseph A. Bank, Barbara Liskov
IM
1997
13 years 10 months ago
Customer Management and Control of Broadband VPN Services
We present an architecture for customer management and control of a broadband VPN service. The architecture is aimed at giving the VPN customer a high level of control over the tr...
Mun Choon Chan, Aurel A. Lazar, Rolf Stadler
NGC
2008
Springer
149views Communications» more  NGC 2008»
13 years 8 months ago
A New Type System for JVM Lock Primitives
A bytecode verifier for the Java virtual machine language (JVML) statically checks that bytecode does not cause any fatal error. However, the present verifier does not check correc...
Futoshi Iwama, Naoki Kobayashi
TCSV
2002
81views more  TCSV 2002»
13 years 8 months ago
Image information restoration based on long-range correlation
A new class of image information-restoration algorithms virtually different from traditional techniques are proposed. In comparison with other approaches, our methods not only use ...
Dapeng Zhang, Zhou Wang