Sciweavers

7225 search results - page 29 / 1445
» Software is data too
Sort
View
116
Voted
ADAEUROPE
2000
Springer
15 years 8 months ago
Symbolic Data Flow Analysis for Detecting Deadlocks in Ada Tasking Programs
Johann Blieberger, Bernd Burgstaller, Bernhard Sch...
110
Voted
AMAST
2000
Springer
15 years 8 months ago
Random Access to Abstract Data Types
Martin Erwig
101
Voted
EDBTW
2010
Springer
15 years 7 months ago
Updating relational data via SPARQL/update
Matthias Hert, Gerald Reif, Harald Gall
86
Voted
COMPSAC
1998
IEEE
15 years 7 months ago
Data Security
Elisa Bertino, Elena Ferrari