Time filter

Source Type

Hinkel G.,Forschungszentrum Informatik FZI
CEUR Workshop Proceedings

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. Source

Hinkel G.,Forschungszentrum Informatik FZI | Happe L.,Karlsruhe Institute of Technology
CEUR Workshop Proceedings

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. Source

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

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. Source

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

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. Source

Haller H.,Forschungszentrum Informatik FZI
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

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. Source

Discover hidden collaborations