Sciweavers

381 search results - page 60 / 77
» Introspective Model-Driven Development
Sort
View
BPM
2008
Springer
158views Business» more  BPM 2008»
13 years 9 months ago
Towards Transformations from BPMN to Heterogeneous Systems
Abstract. By now, the mapping from BPMN to BPEL has been implemented in numerous tools, greatly assisting the business architect in the creation of BPEL processes. However, most of...
Tobias Küster, Axel Heßler
JSS
2010
89views more  JSS 2010»
13 years 2 months ago
Verification and validation of declarative model-to-model transformations through invariants
In this paper we propose a method to derive OCL invariants from declarative model-to-model transformations in order to enable their verification and analysis. For this purpose we ...
Jordi Cabot, Robert Clarisó, Esther Guerra,...
ICASSP
2011
IEEE
12 years 11 months ago
Enhanced Poisson sum representation for alpha-stable processes
In this paper we present Poisson sum series representations for α-stable (αS) random variables and α-stable processes, in particular concentrating on continuous-time autoregres...
Tatjana Lemke, Simon J. Godsill
HAPTICS
2010
IEEE
13 years 5 months ago
What Is It Like to Be a Rat? Sensory Augmentation Study
The present study examined the human ability to learn a new sensory modality, specifically "whisking". An experimental apparatus containing artificial whiskers, force sen...
Avraham Saig, Amos Arieli, Ehud Ahissar
UML
2005
Springer
14 years 1 months ago
Bridging Grammarware and Modelware
Abstract. In Software Engineering many text-based languages and supporting tools are used, forming the grammarware technical space. Currently model driven engineering is the new em...
Manuel Wimmer, Gerhard Kramler