2776 search results - page 68 / 556 » System-Level Abstraction Semantics |
146
click to vote
FLAIRS
2008
15 years 6 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...
142
Voted
ESOP
2008
Springer
15 years 5 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...
180
click to vote
CSSE
2004
IEEE
15 years 3 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...
166
click to vote
DC
2002
15 years 3 months ago
2002
Message ordering is a fundamental abstraction in distributed systems. However, ordering guarantees are usually purely "syntactic," that is, message "semantics" ...
126
click to vote
ICWE
2003
Springer
15 years 9 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...