2136 search results - page 313 / 428 » A Game-Theoretic Operational Semantics |
138
click to vote
DEEC
2005
IEEE
15 years 10 months ago
2005
IEEE
A base of clearly defined product information is a key foundation for an e-commerce system. The manipulation and exchange of semantically enriched and precise product information ...
129
click to vote
FDL
2005
IEEE
15 years 10 months ago
2005
IEEE
The development process of embedded systems is characterized by the cooperation of various domains: components of hardware and software have to be considered as well as components...
124
click to vote
HOTI
2005
IEEE
15 years 10 months 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. ...
120
click to vote
CAISE
2005
Springer
15 years 10 months 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 ...
138
click to vote
ICLP
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Information about the nondeterminism behavior of a functional logic program is important for various reasons. For instance, a nondeterministic choice in I/O operations re...