Search Sciweavers | Sciweavers

153 search results - page 3 / 31

» entcs 2002

Voted

ENTCS
2002

63views more ENTCS 2002»

A Category-Theoretic Approach to Social Network Analysis

14 years 12 months ago

Download members.ozemail.com.au

Anthony H. Dekker

claim paper

Read More »

click to vote

ENTCS
2002

87views more ENTCS 2002»

Parking can get you there faster - Model Augmentation to Speed up Real-Time Model-Checking

14 years 12 months ago

Download www.brics.dk

M. Oliver Möller

claim paper

Read More »

click to vote

ENTCS
2002

75views more ENTCS 2002»

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

14 years 12 months ago

Download jcontractor.sourceforge.net

Parker Abercrombie, Murat Karaorman

claim paper

Read More »

click to vote

ENTCS
2002

97views more ENTCS 2002»

Semantic domains for Handel-C

14 years 12 months ago

Download www.scss.tcd.ie

Andrew Butterfield, Jim Woodcock

claim paper

Read More »

click to vote

ENTCS
2002

51views more ENTCS 2002»

A Logical Process Calculus

14 years 12 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers