Sciweavers

15777 search results - page 50 / 3156
» Software Engineering
Sort
View
104
Voted
SIGSOFT
2003
ACM
16 years 3 months ago
Verified systems by composition from verified components
Fei Xie, James C. Browne
90
Voted
SIGSOFT
2001
ACM
16 years 3 months ago
Increasing client-side confidence in remote component implementations
Ramesh Jagannathan, Paolo A. G. Sivilotti
104
Voted
SIGSOFT
2001
ACM
16 years 3 months ago
An algebraic approach to file synchronization
Norman Ramsey, Elöd Csirmaz
70
Voted
ICSE
2003
IEEE-ACM
16 years 2 months ago
Cybersecurity
Richard A. Kemmerer