2678 search results - page 82 / 536 » Operational Semantics of Transactions |
152
click to vote
CDVE
2007
Springer
15 years 10 months ago
2007
Springer
Semantic Web Services are the key technology providing services for the users’ convenience in the semantic web environment. Many companies in various fields are researching and d...
127
click to vote
ASPLOS
2006
ACM
15 years 10 months ago
2006
ACM
For transactional memory (TM) to achieve widespread acceptance, transactions should not be limited to the physical resources of any specific hardware implementation. TM systems s...
156
click to vote
CORR
2011
Springer
14 years 11 months ago
2011
Springer
OLTP (On-Line Transaction Processing) is an important business system sector in various traditional and emerging online services. Due to the increasing number of users, OLTP syste...
115
click to vote
XIMEP
2005
ACM
15 years 9 months ago
2005
ACM
There are three set operators defined in XQuery, namely union, intersect and except. They take node sequences as operands, in which each node is identified by its node-ID and tr...
125
click to vote
JANCL
2007
15 years 4 months ago
2007
Logic of proofs LP introduced by S. Artemov in 1995 describes properties of proof predicate “t is a proof of F” in the propositional language extended by atoms of the form [[t...