5904 search results - page 396 / 1181 » Requirements for a Composition Language |
173
click to vote
IFIP
2004
Springer
16 years 9 days ago
2004
Springer
A term terminates if all its reduction sequences are of finite length. We show four type systems that ensure termination of well-typed π-calculus processes. The systems are obtai...
155
click to vote
DOCENG
2003
ACM
16 years 6 days ago
2003
ACM
In this paper, we present a framework for coupling an existing formatting system such as SMIL [7] and Madeus [13] with a formatting control system XEF [10]. This framework allows ...
185
click to vote
EWSPT
2003
Springer
16 years 5 days ago
2003
Springer
Long-lived, architecture-based software systems are increasingly important. Effective process support for these systems depends upon recognising their compositional nature and the ...
162
click to vote
IFL
2003
Springer
16 years 4 days ago
2003
Springer
Construction of complex array operations by composition of more basic ones allows for abstract and concise specifications of algorithms. Unfortunately, na¨ıve compilation of suc...
177
click to vote
EICS
2009
ACM
15 years 11 months ago
2009
ACM
The success of service-oriented computing has important implications on how people develop user interfaces. This paper discusses a method for supporting the development of interac...