Search Sciweavers | Sciweavers

7555 search results - page 64 / 1511

» The Type System of DBPL

click to vote

POPL
1999
ACM

105views Programming Languages» more POPL 1999»

A Simple, Comprehensive Type System for Java Bytecode Subroutines

14 years 1 months ago

Download www.cs.cmu.edu

Robert O'Callahn

claim paper

Read More »

click to vote

POPL
1999
ACM

80views Programming Languages» more POPL 1999»

Trust and Partial Typing in Open Systems of Mobile Agents

14 years 1 months ago

Download condor.depaul.edu

James Riely, Matthew Hennessy

claim paper

Read More »

click to vote

INFOCOM
1998
IEEE

116views Communications» more INFOCOM 1998»

Stability of a Type-II Hybrid ARQ Protocol for DS-SSMA Packet Radio Systems

14 years 1 months ago

Download www.wireless.ece.ufl.edu

Qian Zhang, Tan F. Wong, James S. Lehnert

claim paper

Read More »

click to vote

MFCS
1998
Springer

62views Theoretical Computer Science» more MFCS 1998»

Spatial and Temporal Refinement of Typed Graph Transformation Systems

14 years 1 months ago

Download www.dsi.uniroma1.it

Martin Große-Rhode, Francesco Parisi-Presicc...

claim paper

Read More »

click to vote

OOPSLA
1998
Springer

106views Security Privacy» more OOPSLA 1998»

A Type System for Object Initialization in the Java Bytecode Language

14 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers