5387 search results - page 92 / 1078 » Generating generic functions |
107
click to vote
TYPES
2004
Springer
15 years 6 months ago
2004
Springer
Abstract Within a framework of correct code-generation from HOLspeciļ¬cations, we present a particular instance concerned with the optimized compilation of a lazy language (called...
100
Voted
ISORC
2003
IEEE
15 years 6 months ago
2003
IEEE
SMIL is a markup language which enables us to describe multimedia contents. This paper proposes a design model of SMIL browser functionality for mobile terminals whose resources a...
97
Voted
JUCS
2008
15 years 20 days ago
2008
: This paper presents efficient methods for online fault detection and diagnosis of Network-on-Chip (NoC) switches. The fault model considered in this research is a system level fa...
128
click to vote
ESWS
2007
Springer
15 years 6 months ago
2007
Springer
Discovery is a central reasoning task in service-oriented architectures, concerned with detecting Web services that are usable for solving a given request. This paper presents two ...
80
Voted
SEMWEB
2007
Springer
15 years 6 months ago
2007
Springer
In this paper we propose a new tool called OWL-CM (OWL Combining Matcher) that deals with uncertainty inherent to ontology mapping process. On the one hand, OWL-CM uses the techniq...