Sciweavers

805 search results - page 35 / 161
» On the Semantics of Conditional Commitment
Sort
View
DATE
2006
IEEE
101views Hardware» more  DATE 2006»
15 years 5 months ago
Design with race-free hardware semantics
Most hardware description languages do not enforce determinacy, meaning that they may yield races. Race conditions pose a problem for the implementation, verification, and validat...
Patrick Schaumont, Sandeep K. Shukla, Ingrid Verba...
PODS
2006
ACM
177views Database» more  PODS 2006»
15 years 12 months ago
Equivalence of queries combining set and bag-set semantics
The query equivalence problem has been studied extensively for set-semantics and, more recently, for bag-set semantics. However, SQL queries often combine set and bag-set semantic...
Sara Cohen
EKAW
2008
Springer
15 years 1 months ago
An Analysis of the Origin of Ontology Mismatches on the Semantic Web
Despite the potential of domain ontologies to provide consensual representations of domain-relevant knowledge, the open, distributed and decentralized nature of the Semantic Web me...
Paul R. Smart, Paula C. Engelbrecht
BIRTHDAY
2004
Springer
15 years 5 months ago
A Trace Semantics for Long-Running Transactions
Abstract. A long-running transaction is an interactive component of a distributed system which must be executed as if it were a single atomic action. In principle, it should not be...
Michael J. Butler, C. A. R. Hoare, Carla Ferreira
DAARC
2009
Springer
268views Algorithms» more  DAARC 2009»
15 years 6 months ago
Binding without Identity: Towards a Unified Semantics for Bound and Exempt Anaphors
Expressions such as English himself are interpreted as locally bound anaphors in certain syntactic environments and are exempt from the binding conditions in others. This article p...
Eric Reuland, Yoad Winter