Johannes Kepler University Linz

Displaying 1-13 of 13 results

  • White Papers // Aug 2014

    Technologies for Web and Cloud Service Interaction: A Survey

    The evolution of web and service technologies has led to a wide landscape of protocols and standards for interaction between loosely-coupled software components. Examples range from web applications, mashups, apps, and mobile devices to enterprise-grade services. Cloud computing is in a sense the industrialization of service provision and delivery, where...

    Provided By Johannes Kepler University Linz

  • White Papers // Aug 2012

    Formal Modeling of Mobile Computing Systems Based on Ambient Abstract State Machines

    In this paper, the authors present a high-level definition of a formal method in terms of ambient abstract state machine rules which makes it possible to describe formal models of mobile computing systems and complex service oriented architectures in two abstraction layers. This means that while the algorithms and local...

    Provided By Johannes Kepler University Linz

  • White Papers // Aug 2012

    A Formal Model of a Cloud Service Architecture in Terms of Ambient ASM

    This paper presents a formal model of a cloud service system in terms of Ambient Abstract State Machine in two abstraction layer: while the spatial locations, mobility and some security considerations (accessibility) are described by a hierarchy of some ambient constructs and the algorithmic functionalities are defined by abstract state...

    Provided By Johannes Kepler University Linz

  • White Papers // Dec 2011

    A Formal Model for the Interoperability of Service Clouds

    A common slogan in cloud computing claims that "Everything becomes a service", which suggests to consider cloud computing as an umbrella for service orientation in the large with the world-wide web as the key medium. In fact, it would be possible to consider clouds as repositories of software services that...

    Provided By Johannes Kepler University Linz

  • White Papers // Dec 2011

    On the Decidability and Complexity of Identity Knowledge Representation

    Identity knowledge is the knowledge that relates to various aspects of the identification of real-world objects. It can be acquired through the process of identifying objects from a knowledge management point of view. In this paper, the authors present a simple yet expressive framework for representing identity knowledge. Knowledge patterns,...

    Provided By Johannes Kepler University Linz

  • White Papers // Nov 2011

    Challenges in Cloud Computing

    Currently, "Cloud computing" is the most often used buzzword in computing, and many providers (Amazon, Google, Microsoft, IBM, etc.) of cloud services (IaaS, SaaS, PaaS, DaaS, ...) emphasize the many benefits of outsourcing application into a (private or public) cloud. Though cloud computing is considered mature for practical application, there...

    Provided By Johannes Kepler University Linz

  • White Papers // Aug 2011

    Do Software Engineers Benefit From Source Code Navigation With Traceability? - An Experiment in Software Change Management

    For decades now, mainstream development environments provide the same basic automations for navigating source code: mainly searching and the tree exploration of files and folders. This may imply that other automations have little additional value or too steep a learning curve for mainstream adoption. This paper investigates whether existing navigation...

    Provided By Johannes Kepler University Linz

  • White Papers // Apr 2011

    Goal Oriented Opportunistic Sensing

    Today's activity and context recognition system have the drawback to use a static sensing infrastructure that has to be defined at the design time of the system. The predefined sensing infrastructure needed to work properly, as well as the fixed recognition purpose limits the flexibility of such a system as...

    Provided By Johannes Kepler University Linz

  • White Papers // Jul 2010

    Automated Testing and Debugging of SAT and QBF Solvers

    Robustness and correctness are essential criteria for SAT and QBF solvers. The paper develops automated testing and debugging techniques designed and optimized for SAT and QBF solver development. The fuzz testing techniques are able to find critical solver defects that lead to crashes, invalid satisfying assignments and incorrect satisfiability results....

    Provided By Johannes Kepler University Linz

  • White Papers // May 2010

    A Flexible Approach for Generating Product-Specific Documents in Product Lines

    In product line engineering various stakeholders like sales and marketing people, product managers, and technical writers are involved in creating and adapting documents such as offers, contracts, commercial conditions, technical documents, or user manuals. In practice stakeholders often need to adapt these documents manually during product derivation. This adaptation is,...

    Provided By Johannes Kepler University Linz

  • White Papers // Mar 2010

    Detecting Inconsistencies in Multi-View Models With Variability

    Multi-View Modeling (MVM) is a common modeling practice that advocates the use of multiple, different and yet related models to represent the needs of diverse stakeholders. Of crucial importance in MVM is consistency checking - the description and verification of semantic relationships amongst the views. Variability is the capacity of...

    Provided By Johannes Kepler University Linz

  • White Papers // Jan 2010

    Selective Backtracking of Model Changes

    Backtracking is necessary when design alternatives are explored or dead ends are reached. Unfortunately, current approaches support chronological backtracking only (undo or version control), where the designer is forced to undo intermittent changes even if they are not related to what should be backtracked. This work introduces an approach for...

    Provided By Johannes Kepler University Linz

  • White Papers // Sep 2009

    Employer Provided Training In Austria: Productivity, Wages And Wage Inequality

    The authors use data on Austrian firms and employees to estimate the effects of employer-provided training on productivity, wages, and the inequality of wages within firms. While the average amount spent on employer-provided training is low in general, they find a robust positive elasticity of training on productivity of about...

    Provided By Johannes Kepler University Linz

  • White Papers // Sep 2009

    Employer Provided Training In Austria: Productivity, Wages And Wage Inequality

    The authors use data on Austrian firms and employees to estimate the effects of employer-provided training on productivity, wages, and the inequality of wages within firms. While the average amount spent on employer-provided training is low in general, they find a robust positive elasticity of training on productivity of about...

    Provided By Johannes Kepler University Linz

  • White Papers // Apr 2011

    Goal Oriented Opportunistic Sensing

    Today's activity and context recognition system have the drawback to use a static sensing infrastructure that has to be defined at the design time of the system. The predefined sensing infrastructure needed to work properly, as well as the fixed recognition purpose limits the flexibility of such a system as...

    Provided By Johannes Kepler University Linz

  • White Papers // Jan 2010

    Selective Backtracking of Model Changes

    Backtracking is necessary when design alternatives are explored or dead ends are reached. Unfortunately, current approaches support chronological backtracking only (undo or version control), where the designer is forced to undo intermittent changes even if they are not related to what should be backtracked. This work introduces an approach for...

    Provided By Johannes Kepler University Linz

  • White Papers // Nov 2011

    Challenges in Cloud Computing

    Currently, "Cloud computing" is the most often used buzzword in computing, and many providers (Amazon, Google, Microsoft, IBM, etc.) of cloud services (IaaS, SaaS, PaaS, DaaS, ...) emphasize the many benefits of outsourcing application into a (private or public) cloud. Though cloud computing is considered mature for practical application, there...

    Provided By Johannes Kepler University Linz

  • White Papers // Dec 2011

    A Formal Model for the Interoperability of Service Clouds

    A common slogan in cloud computing claims that "Everything becomes a service", which suggests to consider cloud computing as an umbrella for service orientation in the large with the world-wide web as the key medium. In fact, it would be possible to consider clouds as repositories of software services that...

    Provided By Johannes Kepler University Linz

  • White Papers // Dec 2011

    On the Decidability and Complexity of Identity Knowledge Representation

    Identity knowledge is the knowledge that relates to various aspects of the identification of real-world objects. It can be acquired through the process of identifying objects from a knowledge management point of view. In this paper, the authors present a simple yet expressive framework for representing identity knowledge. Knowledge patterns,...

    Provided By Johannes Kepler University Linz

  • White Papers // Aug 2012

    Formal Modeling of Mobile Computing Systems Based on Ambient Abstract State Machines

    In this paper, the authors present a high-level definition of a formal method in terms of ambient abstract state machine rules which makes it possible to describe formal models of mobile computing systems and complex service oriented architectures in two abstraction layers. This means that while the algorithms and local...

    Provided By Johannes Kepler University Linz

  • White Papers // Aug 2012

    A Formal Model of a Cloud Service Architecture in Terms of Ambient ASM

    This paper presents a formal model of a cloud service system in terms of Ambient Abstract State Machine in two abstraction layer: while the spatial locations, mobility and some security considerations (accessibility) are described by a hierarchy of some ambient constructs and the algorithmic functionalities are defined by abstract state...

    Provided By Johannes Kepler University Linz

  • White Papers // Mar 2010

    Detecting Inconsistencies in Multi-View Models With Variability

    Multi-View Modeling (MVM) is a common modeling practice that advocates the use of multiple, different and yet related models to represent the needs of diverse stakeholders. Of crucial importance in MVM is consistency checking - the description and verification of semantic relationships amongst the views. Variability is the capacity of...

    Provided By Johannes Kepler University Linz

  • White Papers // Aug 2011

    Do Software Engineers Benefit From Source Code Navigation With Traceability? - An Experiment in Software Change Management

    For decades now, mainstream development environments provide the same basic automations for navigating source code: mainly searching and the tree exploration of files and folders. This may imply that other automations have little additional value or too steep a learning curve for mainstream adoption. This paper investigates whether existing navigation...

    Provided By Johannes Kepler University Linz

  • White Papers // May 2010

    A Flexible Approach for Generating Product-Specific Documents in Product Lines

    In product line engineering various stakeholders like sales and marketing people, product managers, and technical writers are involved in creating and adapting documents such as offers, contracts, commercial conditions, technical documents, or user manuals. In practice stakeholders often need to adapt these documents manually during product derivation. This adaptation is,...

    Provided By Johannes Kepler University Linz

  • White Papers // Jul 2010

    Automated Testing and Debugging of SAT and QBF Solvers

    Robustness and correctness are essential criteria for SAT and QBF solvers. The paper develops automated testing and debugging techniques designed and optimized for SAT and QBF solver development. The fuzz testing techniques are able to find critical solver defects that lead to crashes, invalid satisfying assignments and incorrect satisfiability results....

    Provided By Johannes Kepler University Linz

  • White Papers // Aug 2014

    Technologies for Web and Cloud Service Interaction: A Survey

    The evolution of web and service technologies has led to a wide landscape of protocols and standards for interaction between loosely-coupled software components. Examples range from web applications, mashups, apps, and mobile devices to enterprise-grade services. Cloud computing is in a sense the industrialization of service provision and delivery, where...

    Provided By Johannes Kepler University Linz