Sciweavers

7049 search results - page 12 / 1410
» Data Abstraction for CSP-OZ
Sort
View
93
Voted
AMAST
2000
Springer
15 years 6 months ago
Random Access to Abstract Data Types
Martin Erwig
117
Voted
AIMDM
1999
Springer
15 years 6 months ago
Abstracting Steady Qualitative Descriptions over Time from Noisy, High-Frequency Data
Silvia Miksch, Andreas Seyfang, Werner Horn, Chris...
89
Voted
FM
1999
Springer
113views Formal Methods» more  FM 1999»
15 years 6 months ago
Data Abstraction for CSP-OZ
Heike Wehrheim
132
Voted
ICCL
1998
IEEE
15 years 6 months ago
Breaking Abstractions and Unstructuring Data Structures
Christian S. Collberg, Clark D. Thomborson, Dougla...