Search Sciweavers | Sciweavers

15777 search results - page 357 / 3156

» Engineering in Software

112

click to vote

IUI
2000
ACM

112views Software Engineering» more IUI 2000»

R2D2 in a softball: the portable satellite assistant

15 years 8 months ago

Download www.jeffreymbradshaw.net

Yuri Gawdiak, Jeffrey Bradshaw, Brian C. Williams,...

claim paper

Read More »

131

click to vote

APSEC
1995
IEEE

97views Software Engineering» more APSEC 1995»

Testing of Object-Oriented Programs Based on Finite State Machines

15 years 8 months ago

Download www.cs.drexel.edu

Hyoung Seok Hong, Yong Rae Kwon, Sung Deok Cha

claim paper

Read More »

137

click to vote

PEPM
1997
ACM

95views Software Engineering» more PEPM 1997»

Specialization of Lazy Functional Logic Programs

15 years 8 months ago

Download users.dsic.upv.es

María Alpuente, Moreno Falaschi, Pascual Ju...

claim paper

Read More »

101

click to vote

TACS
1991
Springer

93views Software Engineering» more TACS 1991»

Authentication and Delegation with Smart-cards

15 years 8 months ago

Download www.hpl.hp.com

Martín Abadi, Michael Burrows, C. Kaufman, ...

claim paper

Read More »

click to vote

ICSE
2010
IEEE-ACM

142views Software Engineering» more ICSE 2010»

Precise calling context encoding

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers