2136 search results - page 123 / 428 » A Game-Theoretic Operational Semantics |
164
Voted
HOTOS
2003
IEEE
15 years 9 months ago
2003
IEEE
—Traditional hierarchical namespaces are not sufficient for representing and managing the rich semantics of today’s storage systems. In this paper, we discuss the principles o...
155
Voted
AMSTERDAM
2009
15 years 1 months ago
2009
This paper offers an account of the semantics of count nous. I show that neither the atomic/nonatomic distinction nor the homogeneous/non-homogeneous distinction is sufficient to ...
142
Voted
APN
1995
Springer
15 years 7 months ago
1995
Springer
The first part of this paper gives an algebraic semantics for Place/Transition nets in terms of an algebra which is based on the process algebra ACP. The algebraic semantics is s...
234
Voted
VLDB
2003
ACM
16 years 3 months ago
2003
ACM
Abstract. The requirements for effective search and management of the WWW are stronger than ever. Currently Web documents are classified based on their content not taking into acco...
128
Voted
SOSP
2007
ACM
16 years 17 days ago
2007
ACM
Software defects significantly reduce system dependability. Among various types of software bugs, semantic and concurrency bugs are two of the most difficult to detect. This pape...