Sciweavers

16790 search results - page 209 / 3358

» A Future for Software Engineering

25

FOSSACS
1999
Springer

80views Software Engineering» more FOSSACS 1999»

Testing Hennessy-Milner Logic with Recursion

14 years 2 months ago

Testing Hennessy-Milner Logic with Recursion

Download www.brics.dk

Luca Aceto, Anna Ingólfsdóttir

claim paper

Read More »

26

FOSSACS
1999
Springer

69views Software Engineering» more FOSSACS 1999»

Equational Properties of Mobile Ambients

14 years 2 months ago

Equational Properties of Mobile Ambients

Download lucacardelli.name

Andrew D. Gordon, Luca Cardelli

claim paper

Read More »

25

CODES
1998
IEEE

80views Software Engineering» more CODES 1998»

Fast dynamic analysis of complex HW/SW-systems based on abstract state machine models

14 years 2 months ago

Fast dynamic analysis of complex HW/SW-systems based on abstract state machine models

Download www.eecs.umich.edu

Giuseppe Del Castillo, Wolfram Hardt

claim paper

Read More »

25

CODES
1998
IEEE

100views Software Engineering» more CODES 1998»

Communication estimation for hardware/software codesign

14 years 2 months ago

Communication estimation for hardware/software codesign

Download peace.snu.ac.kr

Peter Voigt Knudsen, Jan Madsen

claim paper

Read More »

19

COMPSAC
1998
IEEE

94views Software Engineering» more COMPSAC 1998»

14 years 2 months ago

Download www.annals.org

René Klösch

claim paper

Read More »

« Prev « First page 209 / 3358 Last » Next »