866 search results - page 117 / 174 » A compositional semantics for CHR |
125
Voted
ESAW
2006
Springer
15 years 7 months ago
2006
Springer
Interaction refers to an abstract and intangible concept. In modelling, intangible concepts can be embodied and made explicit. This allows to manipulate the abstractions and to bui...
135
Voted
FORTE
2007
15 years 4 months ago
2007
Abstract. We present and discuss a formal, high-level approach to the specification and composition of interaction protocols for service-oriented systems. This work is being develo...
139
Voted
FMCO
2009
Springer
15 years 1 months ago
2009
Springer
This paper reviews the model of interactive Markov chains (IMCs, for short), an extension of labelled transition systems with exponentially delayed transitions. We show that IMCs a...
165
click to vote
CVPR
2012
IEEE
13 years 5 months ago
2012
IEEE
Objects in scenes interact with each other in complex ways. A key observation is that these interactions manifest themselves as predictable visual patterns in the image. Discoveri...
134
Voted
ESWS
2007
Springer
15 years 9 months ago
2007
Springer
WSML is an ontology language specifically tailored to annotate Web Services, and part of its semantics adheres to the rule-based knowledge representation paradigm of logic program...