Sciweavers

15727 search results - page 151 / 3146

» Software Engineering - Introduction

114

Voted

FOSSACS
1999
Springer

80views Software Engineering» more FOSSACS 1999»

Testing Hennessy-Milner Logic with Recursion

15 years 9 months ago

Testing Hennessy-Milner Logic with Recursion

Download www.brics.dk

Luca Aceto, Anna Ingólfsdóttir

claim paper

Read More »

110

Voted

FOSSACS
1999
Springer

69views Software Engineering» more FOSSACS 1999»

Equational Properties of Mobile Ambients

15 years 9 months ago

Equational Properties of Mobile Ambients

Download lucacardelli.name

Andrew D. Gordon, Luca Cardelli

claim paper

Read More »

116

Voted

CODES
1998
IEEE

80views Software Engineering» more CODES 1998»

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

15 years 9 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 »

103

Voted

CODES
1998
IEEE

100views Software Engineering» more CODES 1998»

Communication estimation for hardware/software codesign

15 years 9 months ago

Communication estimation for hardware/software codesign

Download peace.snu.ac.kr

Peter Voigt Knudsen, Jan Madsen

claim paper

Read More »

105

COMPSAC
1998
IEEE

94views Software Engineering» more COMPSAC 1998»

15 years 9 months ago

Download www.annals.org

René Klösch

claim paper

Read More »

« Prev « First page 151 / 3146 Last » Next »