Sciweavers

10871 search results - page 472 / 2175

» A stable programming language

120

IFIP
2003
Springer

74views Programming Languages» more IFIP 2003»

A Formally Verified Decentralized Key Management Architecture for Wireless Sensor Networks

16 years 3 days ago

A Formally Verified Decentralized Key Management Architecture for Wireless Sensor Networks

Download www.ub.utwente.nl

Yee Wei Law, Ricardo Corin, Sandro Etalle, Pieter ...

claim paper

Read More »

128

PLDI
2010
ACM

187views Programming Languages» more PLDI 2010»

Evaluating the accuracy of Java profilers

15 years 12 months ago

Evaluating the accuracy of Java profilers

Download www-plan.cs.colorado.edu

Todd Mytkowicz, Amer Diwan, Matthias Hauswirth, Pe...

claim paper

Read More »

157

WSC
2000

209views Modeling And Simulation» more WSC 2000»

Silk, Java and object-oriented simulation

15 years 8 months ago

Silk, Java and object-oriented simulation

Download www.informs-sim.org

Silk

Richard A. Kilgore

claim paper

Read More »

200

ENTCS
2000

109views more ENTCS 2000»

Forward and Backward Chaining in Linear Logic

15 years 6 months ago

Forward and Backward Chaining in Linear Logic

Download waitaki.otago.ac.nz

Abstract. Logic programming languages based on linear logic are of both theoretical and practical interest, particulaly because such languages can be seen as providing a logical ba...

James Harland, David J. Pym, Michael Winikoff

claim paper

Read More »

252

IGARSS
2010

209views Remote Sensing» more IGARSS 2010»

Polarimetric SAR estimation based on non-local means

15 years 1 months ago

Polarimetric SAR estimation based on non-local means

Download perso.telecom-paristech.fr

Charles-Alban Deledalle, Florence Tupin, Loïc...

claim paper

Read More »

« Prev « First page 472 / 2175 Last » Next »