Sciweavers

15777 search results - page 357 / 3156
» Engineering in Software
Sort
View
IUI
2000
ACM
15 years 10 months ago
R2D2 in a softball: the portable satellite assistant
Yuri Gawdiak, Jeffrey Bradshaw, Brian C. Williams,...
APSEC
1995
IEEE
15 years 10 months ago
Testing of Object-Oriented Programs Based on Finite State Machines
Hyoung Seok Hong, Yong Rae Kwon, Sung Deok Cha
PEPM
1997
ACM
15 years 10 months ago
Specialization of Lazy Functional Logic Programs
María Alpuente, Moreno Falaschi, Pascual Ju...
TACS
1991
Springer
15 years 10 months ago
Authentication and Delegation with Smart-cards
Martín Abadi, Michael Burrows, C. Kaufman, ...
ICSE
2010
IEEE-ACM
15 years 8 months ago
Precise calling context encoding
William N. Sumner, Yunhui Zheng, Dasarath Weeratun...