5451 search results - page 700 / 1091 » Typed Operational Semantics |
146
click to vote
HOTI
2005
IEEE
16 years 9 days ago
2005
IEEE
Sockets Direct Protocol (SDP) is a byte-stream transport protocol implementing the TCP SOCK_STREAM semantics utilizing transport offloading capabilities of the InfiniBand fabric. ...
156
click to vote
CAISE
2005
Springer
16 years 7 days ago
2005
Springer
We study, in the context of object/relational mapping tools, the problem of describing mappings between inheritance hierarchies and relational schemas. To this end, we introduce a ...
176
click to vote
WEBDB
2005
Springer
16 years 4 days ago
2005
Springer
We present a new approach to information fusion of web data sources. It is based on peer-to-peer mappings between sources and utilizes correspondences between their instances. Suc...
159
click to vote
WWW
2010
ACM
15 years 12 months ago
2010
ACM
This paper addresses the problem of identifying redundant data in large-scale service-oriented information systems. Specifically, the paper puts forward an automated method to pi...
141
click to vote
ICPP
2003
IEEE
15 years 12 months ago
2003
IEEE
For concurrent I/O operations, atomicity defines the results in the overlapping file regions simultaneously read/written by requesting processes. Atomicity has been well studied...