Search Sciweavers | Sciweavers

15778 search results - page 104 / 3156

» Aikido and software engineering

click to vote

DAGSTUHL
2010

226views Software Engineering» more DAGSTUHL 2010»

Modeling

13 years 9 months ago

Download www.cis.nctu.edu.tw

Markus Geyer, Benjamin Hiller, Sascha Meinert

claim paper

Read More »

click to vote

DAGSTUHL
2010

105views Software Engineering» more DAGSTUHL 2010»

Libraries

13 years 9 months ago

Download libraries.mit.edu

Roman Dementiev, Johannes Singler

claim paper

Read More »

click to vote

FOSSACS
2010
Springer

115views Software Engineering» more FOSSACS 2010»

Model Checking Is Static Analysis of Modal Logic

13 years 9 months ago

Download wiki.ercim.eu

Flemming Nielson, Hanne Riis Nielson

claim paper

Read More »

click to vote

ICFEM
2010
Springer

177views Software Engineering» more ICFEM 2010»

Practical Parameterised Session Types

13 years 9 months ago

Download www.doc.ic.ac.uk

Andi Bejleri

claim paper

Read More »

click to vote

ICFEM
2010
Springer

163views Software Engineering» more ICFEM 2010»

Formalization and Correctness of the PALS Architectural Pattern for Distributed Real-Time Systems

13 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers