5904 search results - page 603 / 1181 » Requirements for a Composition Language |
185
click to vote
JFP
2008
15 years 7 months ago
2008
This paper presents an operational semantics for the core of Scheme. Our specification improves over the denotational semantics from the Revised5 Report on Scheme specification in...
213
click to vote
FGCS
2007
15 years 7 months ago
2007
The integration of Web services is a recent outgrowth of the Business Process integration field that will require powerful meta-schema mechanisms supported by higher level abstra...
193
Voted
JALC
2007
15 years 7 months ago
2007
The basic finite automata model has been extended over the years with different acceptance modes (nondeterminism, alternation), new or improved devices (two-way heads, pebbles, ...
170
click to vote
JUCS
2007
15 years 7 months ago
2007
: Educational Modeling Languages (EMLs) have been proposed to support the modeling of educational units. Currently, there are some EML proposals devoted to provide a computational ...
165
click to vote
ASE
2000
15 years 7 months ago
2000
Inconsistencies may arise in the course of specification of systems, and it is now recognised that they cannot be forbidden. Recent work has concentrated on enabling requirements ...