6016 search results - page 975 / 1204 » The semantics of graphical languages |
163
click to vote
ACOM
2004
Springer
16 years 17 days ago
2004
Springer
Abstract. In this paper we propose to regard an Agent Communication Language (ACL) as a set of conventions to act on a fragment of institutional reality, defined in the context of...
238
click to vote
FOSSACS
2004
Springer
16 years 17 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...
187
click to vote
GRID
2004
Springer
16 years 17 days ago
2004
Springer
Locating resources of interest in a large resourceintensive environment is a challenging problem. In this paper we present research on addressing this problem through the developm...
150
click to vote
IBERAMIA
2004
Springer
16 years 17 days ago
2004
Springer
Recent advances in Computerized Numeric Control (CNC) have allowed the manufacturing of products with high quality standards. Since CNC programs consist of a series of assembler-li...
169
click to vote
IFIP
2004
Springer
16 years 16 days ago
2004
Springer
We study from an implementation viewpoint what constitutes a reasonable and effective notion of structural equivalence of terms in a calculus of concurrent processes and propose op...