Sciweavers

6171 search results - page 10 / 1235
» The FrameNet Data and Software
Sort
View
FOSSACS
2001
Springer
15 years 7 months ago
Temporary Data in Shared Dataspace Coordination Languages
Nadia Busi, Roberto Gorrieri, Gianluigi Zavattaro
107
Voted
ADAEUROPE
2000
Springer
15 years 6 months ago
Symbolic Data Flow Analysis for Detecting Deadlocks in Ada Tasking Programs
Johann Blieberger, Bernd Burgstaller, Bernhard Sch...
101
Voted
AMAST
2000
Springer
15 years 6 months ago
Random Access to Abstract Data Types
Martin Erwig