Sciweavers

15824 search results - page 63 / 3165
» Specialising in Software Engineering
Sort
View
116
Voted
SIGSOFT
2003
ACM
16 years 4 months ago
Computer modelling and natural phenomena
Giuseppe Longo
113
Voted
SIGSOFT
2003
ACM
16 years 4 months ago
Verified systems by composition from verified components
Fei Xie, James C. Browne
99
Voted
SIGSOFT
2001
ACM
16 years 4 months ago
Increasing client-side confidence in remote component implementations
Ramesh Jagannathan, Paolo A. G. Sivilotti
115
Voted
SIGSOFT
2001
ACM
16 years 4 months ago
An algebraic approach to file synchronization
Norman Ramsey, Elöd Csirmaz