Search Sciweavers | Sciweavers

14850 search results - page 135 / 2970

» The Security of

146

click to vote

OOPSLA
2000
Springer

70views Security Privacy» more OOPSLA 2000»

Formal specification of CORBA services: experience and lessons learned

15 years 10 months ago

Download www.cin.ufpe.br

Rémi Bastide, Philippe A. Palanque, Ousmane...

claim paper

Read More »

108

click to vote

OOPSLA
2000
Springer

80views Security Privacy» more OOPSLA 2000»

Object-oriented real-time concurrency

15 years 10 months ago

Download www.student.cs.uwaterloo.ca

Peter A. Buhr, Ashif S. Harji, Philipp E. Lim, Jio...

claim paper

Read More »

115

click to vote

OOPSLA
2000
Springer

76views Security Privacy» more OOPSLA 2000»

MultiJava: modular open classes and symmetric multiple dispatch for Java

15 years 10 months ago

Download www.rose-hulman.edu

Curtis Clifton, Gary T. Leavens, Craig Chambers, T...

claim paper

Read More »

151

click to vote

OOPSLA
2000
Springer

83views Security Privacy» more OOPSLA 2000»

Improving the Java memory model using CRF

15 years 10 months ago

Download www.cs.umd.edu

Jan-Willem Maessen, Arvind, Xiaowei Shen

claim paper

Read More »

138

click to vote

SPW
2000
Springer

68views Security Privacy» more SPW 2000»

Making Sense of Specifications: The Formalization of SET

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers