8706 search results - page 520 / 1742 » Learning Subjective Language |
137
Voted
WWW
2005
ACM
16 years 5 months ago
2005
ACM
The correctness of the Z semantics of OWL is the theoretical foundation of using software engineering techniques to verify Web ontologies. As OWL and Z are based on different logi...
248
click to vote
POPL
2007
ACM
16 years 5 months ago
2007
ACM
This paper contributes to the development of techniques for the modular proof of programs that include concurrent algorithms. We present a proof of a non-blocking concurrent algor...
244
click to vote
POPL
2006
ACM
16 years 5 months ago
2006
ACM
Traditional static type systems are very effective for verifying basic interface specifications, but are somewhat limited in the kinds specificationsthey support. Dynamically-chec...
259
Voted
POPL
2006
ACM
16 years 5 months ago
2006
ACM
We present staged allocation, a technique for specifying calling conventions by composing tiny allocators called stages. A specification written using staged allocation has a prec...
200
click to vote
SIGMOD
2008
ACM
16 years 5 months ago
2008
ACM
Freebase is a practical, scalable tuple database used to structure general human knowledge. The data in Freebase is collaboratively created, structured, and maintained. Freebase c...