Sciweavers

1270 search results - page 166 / 254
» A Domain Specific Language to Generate Web Applications
Sort
View
SPIN
2012
Springer
13 years 3 months ago
Model Checking DSL-Generated C Source Code
We report on the application of SPIN for model-checking C source code which is generated out of a textual domain-specific language (DSL). We have built a tool which automatically ...
Martin Sulzmann, Axel Zechner
111
Voted
EMISA
2006
Springer
15 years 4 months ago
On Design Principles for Realizing Adaptive Service Flows with BPEL
Abstract: Web service technology offers a promising approach for realizing enterprisewide and cross-organizational business applications. With the Business Process Execution Langua...
Manfred Reichert, Stefanie Rinderle
114
Voted
ICAS
2008
IEEE
181views Robotics» more  ICAS 2008»
15 years 7 months ago
Modeling User Interfaces to Workflow Information Systems
This paper addresses the need for designing user interfaces (UIs) to workflow information systems by adopting a model-centric approach. We introduce a conceptual workflow model to...
Josefina Guerrero García, Jean Vanderdonckt...
COLING
2010
14 years 7 months ago
Cloud Computing for Linguists
The system presented is a web application designed to aid linguistic research with data collection and online publishing. It is a service mainly for linguists and language experts...
Dorothee Beermann, Pavel Mihaylov
91
Voted
AH
2008
Springer
15 years 7 months ago
Supporting Users in Creating Pedagogically Sound Personalised Learning Objects
Successful eLearning is predicated on the application of pedagogies appropriate to online education that respond to the capabilities and needs of the learners. Typically, designing...
Aoife Brady, Owen Conlan, Vincent Wade, Declan Dag...