Sciweavers

852 search results - page 21 / 171

» entcs 2010

65

ENTCS
2000

66views more ENTCS 2000»

Formal topology and domains

14 years 10 months ago

Formal topology and domains

Download www.math.unipd.it

Giovanni Sambin

claim paper

Read More »

48

ENTCS
2002

75views more ENTCS 2002»

jContractor: Bytecode Instrumentation Techniques for Implementing Design by Contract in Java

14 years 10 months ago

jContractor: Bytecode Instrumentation Techniques for Implementing Design by Contract in Java

Download jcontractor.sourceforge.net

Parker Abercrombie, Murat Karaorman

claim paper

Read More »

31

ENTCS
2002

66views more ENTCS 2002»

Online train disposition: to wait or not to wait?

14 years 10 months ago

Online train disposition: to wait or not to wait?

Download www.dia.unisa.it

Luzi Anderegg, Paolo Penna, Peter Widmayer

claim paper

Read More »

35

ENTCS
2002

61views more ENTCS 2002»

Context-Sensitive Visibility

14 years 10 months ago

Context-Sensitive Visibility

Download www.cs.tut.fi

Antti Valmari, Heikki Virtanen, Antti Puhakka

claim paper

Read More »

38

ENTCS
2002

52views more ENTCS 2002»

Correct and Complete (Positive) Strategy Annotations for OBJ

14 years 10 months ago

Correct and Complete (Positive) Strategy Annotations for OBJ

Download users.dsic.upv.es

María Alpuente, Santiago Escobar, Salvador ...

claim paper

Read More »

« Prev « First page 21 / 171 Last » Next »