866 search results - page 114 / 174 » A compositional semantics for CHR |
129
click to vote
CAI
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. GP (for Graph Programs) is a rule-based, nondeterministic programming language for solving graph problems at a high level of abstraction, freeing programmers from handlin...
112
Voted
MUM
2004
ACM
15 years 8 months ago
2004
ACM
The Task Computing framework is designed to operate in dynamic ubiquitous environments in which a mobile computing user dynamically discovers the current set of available semantic...
159
click to vote
ARTS
1997
Springer
15 years 7 months ago
1997
Springer
We introduce PLC-Automata as a new class of automata which are tailored to deal with real-time properties of Programmable Logic Controllers (PLCs). These devices are often used in...
141
click to vote
FMICS
2009
Springer
15 years 7 months ago
2009
Springer
In this paper we show how Rate Transition Systems (RTSs) can be used as a unifying framework for the definition of the semantics of stochastic process algebras. RTSs facilitate the...
173
Voted
EWIMT
2004
15 years 4 months ago
2004
Reasoning on the Web is gaining in importance because of emerging Web applications such as contextadaptive Web systems (e.g. eLearning, recommender, personalised (multi-)media, an...