2776 search results - page 68 / 556 » System-Level Abstraction Semantics |
130
Voted
FLAIRS
2008
15 years 5 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...
124
click to vote
ESOP
2008
Springer
15 years 4 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...
166
Voted
CSSE
2004
IEEE
15 years 2 months 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...
157
Voted
DC
2002
15 years 2 months ago
2002
Message ordering is a fundamental abstraction in distributed systems. However, ordering guarantees are usually purely "syntactic," that is, message "semantics" ...
116
click to vote
ICWE
2003
Springer
15 years 7 months ago
2003
Springer
Abstract. This paper proposes using a Component Approach to model navigation in a hypertext application. It proposes Navigational Semantic Units (NSUs), which are component-oriente...