Hinkel G.,Forschungszentrum Informatik FZI
CEUR Workshop Proceedings | Year: 2015
Lehman's laws state that dedicated efforts must be spent for any software artifact to prevent a loss of quality. For code, such efforts are called refactoring operations and are an important aspect of many software engineers day-to-day business. Many of these refactoring operations are specified on a much higher abstraction level than the actual source code of a given language like Java. To be able to specify these refactoring operations on a higher abstraction level as proposed in the Java Refactoring Case at the Transformation Tool Contest (TTC) 2015, we propose a solution using an incremental synchronization with NMF Synchronizations of the source code regarded as a model on the one side and a simplified program graph model on the other side. © 2015 G. Szárnyas et al.
Hinkel G.,Forschungszentrum Informatik FZI |
Happe L.,Karlsruhe Institute of Technology
CEUR Workshop Proceedings | Year: 2015
Model validation in model-driven development gains in importance as the systems grow in size and complexity. In this situation an efficiency of validation execution and an immediate feedback whether a recent manual edit operation broke a validation rule is desirable. To increase efficiency, incremental model validation tries to minimize the proportions of the model that have to be rechecked by reusing previous validation results. As a benchmark for efficiency of validation tools, the Train Benchmark Case at the Transformation Tool Contest 2015 was created. In this paper, we present a solution using NMF Expressions, a tool for incremental evaluation of arbitrary expressions on the .NET platform. © 2015 G. Szárnyas et al.
Damala A.,French National Conservatory of Arts and Crafts |
Stojanovic N.,Forschungszentrum Informatik FZI
11th IEEE International Symposium on Mixed and Augmented Reality 2012 - Arts, Media, and Humanities Papers, ISMAR-AMH 2012 | Year: 2012
The paper presents the new concept of Adaptive Augmented Reality (A 2R), employed within the context of the creation of an AR guide for the museum visit. The augmentations provided are not only visual but also acoustic, while the interest of the visitor is also monitored using physiological sensors, so that the multimedia content delivered to the visitor's see-through AR display with which she can interact through gesture interaction can be adapted according to her engagement and interests. A theoretical framework is provided together with an overview of the system architecture. This contribution focuses on the interdisciplinary, collaborative and UC-informed methodology employed for the identification and elicitation of the motivations and needs of the Cultural Heritage professionals as to the potential of the A2R approach for the museum visit. © 2012 IEEE.
Bermbach D.,Karlsruhe Institute of Technology |
Klems M.,Karlsruhe Institute of Technology |
Tai S.,Karlsruhe Institute of Technology |
Menzel M.,Forschungszentrum Informatik FZI
Proceedings - 2011 IEEE 4th International Conference on Cloud Computing, CLOUD 2011 | Year: 2011
Cost and scalability benefits of Cloud storage services are apparent. However, selecting a single storage service provider limits availability and scalability to the selected provider and may further cause a vendor lock-in effect. In this paper, we present MetaStorage, a federated Cloud storage system that can integrate diverse Cloud storage providers. MetaStorage is a highly available and scalable distributed hashtable that replicates data on top of diverse storage services. MetaStorage reuses mechanisms from Amazon's Dynamo for cross-provider replication and hence introduces a novel approach to manage consistency-latency tradeoffs by extending the traditional quorum (N, R, W) configurations to an (NP, R, W) scheme that includes different providers as an additional dimension. With MetaStorage, new means to control consistency-latency tradeoffs are introduced. © 2011 IEEE.
Haller H.,Forschungszentrum Informatik FZI
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | Year: 2010
QuiKey is an interaction approach that offers interactive fine grained access to structured information sources in a light weight user interface. It is designed to be highly interaction efficient for searching, browsing and authoring semantic knowledge bases as well as incrementally constructing complex queries. Empirical evaluation using a comparative GOMS Analysis and a user study confirm interaction efficiency. © 2010 Springer-Verlag.