15372 search results - page 2650 / 3075 » The Semantics of Semantic Annotation |
212
Voted
POPL
1996
ACM
15 years 11 months ago
1996
ACM
that defines abstract costs for measuring or analyzing the performance of computations, (2) to supply the users with a mapping of these costs onto runtimes on various machine model...
194
Voted
SIGSOFT
1996
ACM
15 years 11 months ago
1996
ACM
ing Dependencies between Software Configuration Items CARL A. GUNTER University of Pennsylvania icle studies an abstract model of dependencies between software configuration items ...
186
click to vote
SSD
1997
Springer
15 years 11 months ago
1997
Springer
It is agreed upon that topological relations ore of great importance regarding to GIS data sets consistency. A lot of errors that can be found in GIS data sets are coming from a l...
211
Voted
TAPSOFT
1997
Springer
15 years 11 months ago
1997
Springer
This paper presents an approach for specifying complex, structured systems with Evolving Algebras by means of aggregation and composition. Evolving algebras provide a formal method...
177
Voted
TAPSOFT
1997
Springer
15 years 11 months ago
1997
Springer
The SML-like module systems are small typed languages of their own. As is, one would expect a proof of their soundness following from a proof of subject reduction. Unfortunately, t...