866 search results - page 167 / 174 » A compositional semantics for CHR |
123
Voted
COORDINATION
2009
Springer
15 years 10 days ago
2009
Springer
Abstract. Recent approaches to component-based software engineering employ coordinating connectors to compose components into software systems. For maximum flexibility and reuse, s...
129
Voted
ICTAC
2009
Springer
15 years 8 days ago
2009
Springer
Abstract. Many software applications are based on collaborating, yet competing, agents or virtual organisations exchanging services. Contracts, expressing obligations, permissions ...
119
click to vote
CAV
2009
Springer
16 years 3 months ago
2009
Springer
We present HOMER, an observational-equivalence model checker for the 3rd-order fragment of Idealized Algol (IA) augmented with iteration. It works by first translating terms of the...
122
Voted
JAIR
2007
15 years 2 months ago
2007
Numerous formalisms and dedicated algorithms have been designed in the last decades to model and solve decision making problems. Some formalisms, such as constraint networks, can ...
109
Voted
JDM
2000
15 years 2 months ago
2000
Little work has been completed which addresses the logical composition and use of ternary relationships in entity-relationship modeling. Many modeling notations and most CASE tool...