Sciweavers

15885 search results - page 5 / 3177

» The Modest Software Engineer

67

CGO
2006
IEEE

284views Software Engineering» more CGO 2006»

Corporate Sponsors

14 years 13 days ago

Corporate Sponsors

Download www.quiltersunlimited.org

claim paper

Read More »

72

APSEC
2005
IEEE

322views Software Engineering» more APSEC 2005»

Program Chairs' Message

13 years 10 months ago

Program Chairs' Message

Download www.gi-ev.de

claim paper

Read More »

63

CROSSROADS
2010

265views Software Engineering» more CROSSROADS 2010»

13 years 6 months ago

Download districtemail.dadeschools.net

claim paper

Read More »

29

ISSTA
2000
ACM

78views Software Engineering» more ISSTA 2000»

Verisim: Formal analysis of network simulations

14 years 1 months ago

Verisim: Formal analysis of network simulations

Download seclab.uiuc.edu

—Network protocols are often analyzed using simulations. We demonstrate how to extend such simulations to check propositions expressing safety properties of network event traces ...

Karthikeyan Bhargavan, Carl A. Gunter, Moonjoo Kim...

claim paper

Read More »

60

SIGSOFT
2007
ACM

310views Software Engineering» more SIGSOFT 2007»

Software engineering research: from cradle to grave

14 years 9 months ago

Software engineering research: from cradle to grave

Download www.idt.mdh.se

Elaine J. Weyuker

claim paper

Read More »

« Prev « First page 5 / 3177 Last » Next »