1413 search results - page 44 / 283 » Bisimilarity of Open Terms |
148
Voted
MSR
2006
ACM
15 years 6 months ago
2006
ACM
To improve software productivity, when constructing new software systems, developers often reuse existing class libraries or frameworks by invoking their APIs. Those APIs, however...
100
click to vote
HT
2005
ACM
15 years 6 months ago
2005
ACM
Hyperlinks are an essential feature of the World Wide Web, highly responsible for its success. XLink improves on HTML’s linking capabilities in several ways. In particular, link...
102
Voted
AOSD
2007
ACM
15 years 4 months ago
2007
ACM
We define and study bisimulation for proving contextual equivalence in an aspect extension of the untyped lambda-calculus. To our knowledge, this is the first study of coinductive...
126
click to vote
GIS
2002
ACM
15 years 16 days ago
2002
ACM
Clustering is one of the most important tasks for geographic knowledge discovery. However, existing clustering methods have two severe drawbacks for this purpose. First, spatial c...
112
Voted
ELECTRONICMARKETS
1998
15 years 13 days ago
1998
AbstractAbstractAbstractAbstract A design and pilot implementation of a system, called InterProcs, supporting electronic contracting is presented. A key concept in the design of th...