2696 search results - page 63 / 540 » Semantic Abstraction and Anaphora |
94
Voted
POPL
1997
ACM
15 years 4 months ago
1997
ACM
Defining the collecting semantics is usually the first crucial step in adapting the general methodology of abstract interpretation to the semantic framework or programming languag...
114
click to vote
FLAIRS
2008
15 years 3 months ago
2008
Ever increasing size of the biomedical literature makes tapping into implicit knowledge in scientific literature a necessity for knowledge discovery. In this paper, a semantic par...
104
click to vote
ESOP
2008
Springer
15 years 2 months ago
2008
Springer
Abstract. In this article, we present a model and a denotational semantics for hybrid systems. Our model is designed to be used for the verification of large, existing embedded app...
140
click to vote
CSSE
2004
IEEE
15 years 16 days ago
2004
IEEE
Abstract. Semantic Web technologies will deeply influence the further development of the Internet Economy. A major challenge is, however, to find a practical solution for trust pro...
134
Voted
DC
2002
15 years 15 days ago
2002
Message ordering is a fundamental abstraction in distributed systems. However, ordering guarantees are usually purely "syntactic," that is, message "semantics" ...