Sciweavers

2136 search results - page 313 / 428
» A Game-Theoretic Operational Semantics
Sort
View
DEEC
2005
IEEE
15 years 10 months ago
Practical Issues for Building a Product Ontology System
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 ...
Ig-hoon Lee, Suekyung Lee, Taehee Lee, Sang-goo Le...
FDL
2005
IEEE
15 years 10 months ago
Meta Modelling of Embedded Systems using Active Databases
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...
Dieter Monjau, Mathias Sporer
HOTI
2005
IEEE
15 years 10 months ago
Zero Copy Sockets Direct Protocol over InfiniBand - Preliminary Implementation and Performance Analysis
Sockets Direct Protocol (SDP) is a byte-stream transport protocol implementing the TCP SOCK_STREAM semantics utilizing transport offloading capabilities of the InfiniBand fabric. ...
Dror Goldenberg, Michael Kagan, Ran Ravid, Michael...
CAISE
2005
Springer
15 years 10 months ago
Managing Inheritance Hierarchies in Object/Relational Mapping Tools
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 ...
Luca Cabibbo, Antonio Carosi
ICLP
2005
Springer
15 years 10 months ago
Nondeterminism Analysis of Functional Logic Programs
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...
Bernd Braßel, Michael Hanus