Search Sciweavers | Sciweavers

12753 search results - page 132 / 2551

» or 2002

116

click to vote

KBSE
2002
IEEE

123views Software Engineering» more KBSE 2002»

Assumption Generation for Software Component Verification

15 years 10 months ago

Download ase.informatik.uni-essen.de

Dimitra Giannakopoulou, Corina S. Pasareanu, Howar...

claim paper

Read More »

166

click to vote

KBSE
2002
IEEE

101views Software Engineering» more KBSE 2002»

Experience Report on Automated Procedure Construction for Deductive Synthesis

15 years 10 months ago

Download ase.informatik.uni-essen.de

Steve Roach, Jeffrey Van Baalen

claim paper

Read More »

122

click to vote

LCN
2002
IEEE

98views Computer Networks» more LCN 2002»

Active Network Interface: Opportunities and Challenges

15 years 10 months ago

Download www.cse.ohio-state.edu

Dhabaleswar K. Panda

claim paper

Read More »

164

click to vote

LCN
2002
IEEE

122views Computer Networks» more LCN 2002»

Distributed Computing with the CLAN Network

15 years 10 months ago

Download www.cl.cam.ac.uk

David Riddoch, Kieran Mansley, Steve Pope

claim paper

Read More »

134

click to vote

LEC
2002
IEEE

108views Languages» more LEC 2002»

Syntactic Alternations of Hindi Verbs with Reference to the Morphological Paradigm

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers