6740 search results - page 943 / 1348 » Using Classification as a Programming Language |
186
click to vote
ERLANG
2004
ACM
16 years 8 days ago
2004
ACM
This paper presents the System Status suite of applications. These applications are used to provide a simple, uniform, and low developer cost system for exporting and tracking the...
222
click to vote
FOSSACS
2004
Springer
16 years 7 days ago
2004
Springer
Abstract. We show how to generate well-founded and stable term orderings based on polynomial interpretations over the real numbers. Monotonicity (another usual requirement in termi...
156
click to vote
GPCE
2004
Springer
16 years 7 days ago
2004
Springer
Abstract. We define a basic calculus for name management, which is obtained by an appropriate combination of three ingredients: extensible records (in a simplified form), names (...
184
Voted
IFIP
2004
Springer
16 years 6 days ago
2004
Springer
In global computing applications the availability of a mechanism for some form of committed choice can be useful, and sometimes necessary. It can conveniently handle, e.g., distrib...
171
click to vote
CP
2003
Springer
16 years 2 days ago
2003
Springer
In this paper, we present an algorithm to propagate an n-ary constraint (with n greater than 2) specifying the relative positions of points in a three-dimensional rigid group. The ...