Sciweavers

4690 search results - page 569 / 938
» An operational semantics for Scheme
Sort
View
DEEC
2005
IEEE
16 years 1 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
16 years 1 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
16 years 1 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
16 years 1 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
16 years 1 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