7139 search results - page 915 / 1428 » Language Engineering in Practice |
185
click to vote
SIGITE
2004
ACM
16 years 16 days ago
2004
ACM
In this paper, we establish the need (based on literature and anecdotal evidence) for an infrastructure for CS1 courses to visually support problem solving from the initial proble...
199
click to vote
EMSOFT
2004
Springer
16 years 15 days ago
2004
Springer
Esterel is a system-level language for the modelling, verification and synthesis of control dominated (reactive) embedded systems. Existing Esterel compilers generate intermediat...
211
click to vote
ICSOC
2004
Springer
16 years 15 days ago
2004
Springer
Over the last few years several process-based web service composition languages have emerged, such as BPEL4WS and BPML. These languages define the composition on the basis of a pr...
196
click to vote
IFM
2004
Springer
16 years 14 days ago
2004
Springer
Abstract. We describe how CSP-OZ, an integrated formal method combining the process algebra CSP with the specification language Object-Z, can be linked to standard software engine...
210
click to vote
MIDDLEWARE
2004
Springer
16 years 14 days ago
2004
Springer
Several works on grid computing have been proposed in the last years. However, most of them, including available software, can not deal properly with some issues related to contro...