Search Sciweavers | Sciweavers

10575 search results - page 209 / 2115

» Programming Languages

128

click to vote

SIGADA
1999
Springer

66views Programming Languages» more SIGADA 1999»

Transitioning an ASIS application: version 1 to Ada95 2.0

15 years 10 months ago

Download www.sigada.org

ASIS (Ada Semantic Interface Specification) applications written to the “Version 1”

Joseph R. Wisniewski

claim paper

Read More »

121

click to vote

PLDI
1998
ACM

89views Programming Languages» more PLDI 1998»

Thin Locks: Featherweight Synchronization for Java

15 years 10 months ago

Download cseweb.ucsd.edu

David F. Bacon, Ravi B. Konuru, Chet Murthy, Mauri...

claim paper

Read More »

110

click to vote

IFIP
1998
Springer

104views Programming Languages» more IFIP 1998»

A Java-Based Distributed Platform for Multilateral Security

15 years 10 months ago

Download www.semper.org

Andreas Pfitzmann, Alexander Schill, Andreas Westf...

claim paper

Read More »

139

click to vote

IFIP
1998
Springer

79views Programming Languages» more IFIP 1998»

ICE: an object oriented toolkit for tailoring collaborative

15 years 10 months ago

Download www.idi.ntnu.no

In this paper we describe ICE, an object

Babak A. Farshchian

claim paper

Read More »

127

click to vote

ICALP
1997
Springer

110views Programming Languages» more ICALP 1997»

Symbolic Model Checking for Probabilistic Processes

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers