Sciweavers

933 search results - page 133 / 187
» A Data Model to Support End User Software Engineering
Sort
View
BPM
2009
Springer
148views Business» more  BPM 2009»
14 years 7 months ago
Enabling Widespread Configuration of Conceptual Models - An XML Approach
The manual adaptation of conceptual models in general and reference models in particular is a time consuming and error prone task, which has to be carefully conducted. The configur...
Sebastian Herwig, Armin Stein
ASWEC
2006
IEEE
15 years 3 months ago
Over-the-air Deployment of Applications in Multi-Platform Environments
Over-the-air (OTA) delivery of applications is important to support as it enables easy deployment and upgrades to applications, thereby reducing the disrupting effect which instal...
Tore Fjellheim
CAV
2010
Springer
194views Hardware» more  CAV 2010»
15 years 1 months ago
LTSmin: Distributed and Symbolic Reachability
ions of ODE models (MAPLE, GNA). On the algorithmic side (Sec. 3.2), it supports two main streams in high-performance model checking: reachability analysis based on BDDs (symbolic)...
Stefan Blom, Jaco van de Pol, Michael Weber
FASE
2008
Springer
14 years 11 months ago
Consistent Integration of Models Based on Views of Visual Languages
Abstract. The complexity of large system models in software engineering nowadays is mastered by using different views. View-based modeling aims at creating small, partial models, e...
Hartmut Ehrig, Karsten Ehrig, Claudia Ermel, Ulrik...
IUI
2012
ACM
13 years 5 months ago
Airwriting: demonstrating mobile text input by 3D-space handwriting
We demonstrate our airwriting interface for mobile handsfree text entry. The interface enables a user to input text into a computer by writing in the air like on an imaginary blac...
Christoph Amma, Tanja Schultz