7452 search results - page 243 / 1491 » A Semantics for Multiprocessor Systems |
155
Voted
FM
2009
Springer
15 years 11 months ago
2009
Springer
This paper describes a complete denotational semantics, in the UTP framework, of slotted-Circus, a generic framework for reasoning about discrete timed/synchronously clocked system...
131
click to vote
HICSS
2005
IEEE
15 years 10 months ago
2005
IEEE
— Semantic Web researchers have initially focused on the representation, development and use of ontologies but paid less attention to the social and structural relationships invo...
160
click to vote
HT
2007
ACM
15 years 8 months ago
2007
ACM
This paper presents an ontology-based semantic portal, SEMPort, which aims to support both content providers and the users of the portal during providing information, browsing and...
117
Voted
ACL
1998
15 years 6 months ago
1998
We introduce an algorithm for scope resolution in underspecified semantic representations. Scope preferences are suggested on the basis of semantic argument structure. The major n...
137
click to vote
GI
2008
Springer
15 years 5 months ago
2008
Springer
Abstract: With new techniques, such as Microformats or RDFa, for integrating semantics into existing web formats, we expect a strong increase of semantically annotated documents in...