866 search results - page 61 / 174 » A compositional semantics for CHR |
AH
2006
Springer
14 years 3 months ago
2006
Springer
This paper provides a solution to discourse structure adaptation in the process of automatic hypermedia presentation generation. Existing approaches to discourse structure composit...
EMSOFT
2004
Springer
14 years 3 months 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 ...
IFM
2000
Springer
14 years 1 months ago
2000
Springer
This paper presents a means of structuring specifications in real-time Object-Z: an integration of Object-Z with the timed refinement calculus. Incremental modification of classes ...
CALCO
2007
Springer
14 years 3 months ago
2007
Springer
We motivate and present a logical semantic approach to types for concurrency and to the soundness of related systems. The approach is illustrated by the development of a generic ty...
ACL
2001
13 years 11 months ago
2001
We develop a framework for formalizing semantic construction within grammars expressed in typed feature structure logics, including HPSG. The approach provides an alternative to t...