Sciweavers

15784 search results - page 358 / 3157
» Mega Software Engineering
Sort
View
146
Voted
UIST
1996
ACM
15 years 11 months ago
Ambiguous Intentions: A Paper-like Interface for Creative Design
Mark D. Gross, Ellen Yi-Luen Do
PEPM
1997
ACM
15 years 11 months ago
Scaling up Partial Evaluation for Optimizing the Sun Commercial RPC Protocol
Gilles Muller, Eugen-Nicolae Volanschi, Renaud Mar...
TACS
1997
Springer
15 years 11 months ago
Comparing Object Encodings
Kim B. Bruce, Luca Cardelli, Benjamin C. Pierce
TAPSOFT
1997
Springer
15 years 11 months ago
A Comparison of Modular Verification Techniques
Henrik Reif Andersen, Jørgen Staunstrup, Ni...
170
Voted
EUROMICRO
1996
IEEE
15 years 11 months ago
Reachability and Timing Analysis in Data Flow Networks: A Case Study
B. Antal, György Csertán, Istvá...