6016 search results - page 975 / 1204 » The semantics of graphical languages |
147
click to vote
ACOM
2004
Springer
16 years 2 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...
211
click to vote
FOSSACS
2004
Springer
16 years 2 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...
170
click to vote
GRID
2004
Springer
16 years 1 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...
137
click to vote
IBERAMIA
2004
Springer
16 years 1 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...
153
click to vote
IFIP
2004
Springer
16 years 1 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...