1658 search results - page 185 / 332 » Implementing Bit-addressing with Specialization |
105
click to vote
FC
1998
Springer
15 years 4 months ago
1998
Springer
Emerging electronic commerce services that use public-key cryptography on a mass-market scale require sophisticated mechanisms for managing trust. For example, any service that rec...
126
click to vote
HYBRID
1998
Springer
15 years 4 months ago
1998
Springer
This paper investigates how formal techniques can be used for the analysis and verification of hybrid systems [1,5,7,16] -- systems involving both discrete and continuous behavior....
117
click to vote
GI
1997
Springer
15 years 4 months ago
1997
Springer
Object-Gofer is a small, practical extension of the functional programming language Gofer incorporating the following ideas from the object-oriented community: objects and toplevel...
104
click to vote
VLDB
1993
ACM
15 years 4 months ago
1993
ACM
ract One important aspect of scientific data management is metadata management. Metadata is information about data (e.g., content, source, processing applied, precision). One kind ...
98
Voted
ICFP
2007
ACM
15 years 4 months ago
2007
ACM
In this paper we introduce the iTask system: a set of combinators to specify work flows in a pure functional language at a very high level of abstraction. Work flow systems are au...