5671 search results - page 845 / 1135 » A Semantic Approach to Interpolation |
150
click to vote
ACOM
2004
Springer
16 years 5 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...
165
click to vote
EMSOFT
2004
Springer
16 years 4 days ago
2004
Springer
In reactive systems, execution is driven by external events to which the system should respond with appropriate actions. Such events can be simple, but systems are often supposed ...
164
click to vote
ERCIMDL
2004
Springer
16 years 4 days ago
2004
Springer
Abstract. A policy is a statement that an action is permitted or forbidden if certain conditions hold. We introduce a language for reasoning about policies called Rosetta. What mak...
182
click to vote
FMCO
2004
Springer
16 years 4 days ago
2004
Springer
Abstract. Coordination languages are intended to simplify the development of complex software systems by separating the coordination aspects of an application from its computation ...
215
click to vote
FOSSACS
2004
Springer
16 years 4 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...