840 search results - page 134 / 168 » Universal Metadata Standard |
TES
2001
Springer
14 years 1 months ago
2001
Springer
One of the fundamental requirements for solutions to succeed in the business-to-business e-commerce domain is the ability to integrate seamlessly or inter-operate with diverse syst...
SC
2000
ACM
14 years 1 months ago
2000
ACM
We present a new parallel programming tool environment that is (1) accessible and executable “anytime, anywhere,” through standard Web browsers and (2) integrated in that it p...
LICS
1999
IEEE
14 years 1 months ago
1999
IEEE
We consider type systems that combine universal types, recursive types, and object types. We study type inference in these systems under a rank restriction, following Leivant'...
TPHOL
1999
IEEE
14 years 1 months ago
1999
IEEE
The standard versions of HOL only support disjoint sums over finite families of types. This paper introduces disjoint sums over type classes containing possibly a countably infinit...
CPM
1998
Springer
14 years 1 months ago
1998
Springer
d abstract) John Kececioglu and Dean Starrett Department of Computer Science The University of Arizona Tucson AZ 85721, USA A basic computational problem that arises in both the...