- Subscribe to this page:
- RSS
- Email Alert
Johannes Kepler University Linz
(14 results)-
White Papers
Automated Testing and Debugging of SAT and QBF Solvers
July 17, 2010, 12:00am PDT
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....
Provided by Johannes Kepler University Linz
-
White Papers
A Flexible Approach for Generating Product-Specific Documents in Product Lines
May 20, 2010, 12:00am PDT
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,...
Provided by Johannes Kepler University Linz
-
White Papers
Layoff Tax And The Employment Of The Elderly
November 10, 2008, 12:00am PST
In 1996 Austria introduced a tax for the layoff of older workers, which was tightened in 2000. The regulation requires employers to pay a tax of up to 170 percent of the gross monthly income when...
Provided by Johannes Kepler University Linz
-
White Papers
Selective Backtracking of Model Changes
January 11, 2010, 12:00am PST
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...
Provided by Johannes Kepler University Linz
-
Whitepapers
Challenges in Cloud Computing
November 11, 2011, 12:00am PST
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...
Provided by Johannes Kepler University Linz
-
Whitepapers
A Formal Model for the Interoperability of Service Clouds
December 22, 2011, 12:00am PST
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...
Provided by Johannes Kepler University Linz
-
Whitepapers
On the Decidability and Complexity of Identity Knowledge Representation
December 21, 2011, 12:00am PST
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...
Provided by Johannes Kepler University Linz
-
Whitepapers
Formal Modeling of Mobile Computing Systems Based on Ambient Abstract State Machines
August 21, 2012, 12:00am PDT
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...
Provided by Johannes Kepler University Linz
-
Whitepapers
A Formal Model of a Cloud Service Architecture in Terms of Ambient ASM
August 21, 2012, 12:00am PDT
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...
Provided by Johannes Kepler University Linz
-
White Papers
Goal Oriented Opportunistic Sensing
April 27, 2011, 12:00am PDT
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...
Provided by Johannes Kepler University Linz
-
White Papers
Aspect-Oriented Model-Driven Software Product Line Engineering
April 16, 2008, 12:00am PDT
Software product line engineering aims to reduce development time, e ort, cost, and complexity by taking advantage of the commonality within a portfolio of similar products. The effectiveness of a...
Provided by Johannes Kepler University Linz
-
White Papers
Detecting Inconsistencies in Multi-View Models With Variability
March 31, 2010, 12:00am PDT
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...
Provided by Johannes Kepler University Linz
-
White Papers
Do Software Engineers Benefit From Source Code Navigation With Traceability? - An Experiment in Software Change Management
August 9, 2011, 12:00am PDT
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...
Provided by Johannes Kepler University Linz
-
White Papers
A Semantic Web Middleware for Virtual Data Integration on the Web
March 10, 2008, 12:00am PDT
In this contribution a system is presented, which provides access to distributed data sources using Semantic Web technology. While it was primarily designed for data sharing and scientific...
Provided by Johannes Kepler University Linz
-
Whitepapers
A Formal Model of a Cloud Service Architecture in Terms of Ambient ASM
August 21, 2012, 12:00am PDT
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...
Provided by Johannes Kepler University Linz
-
Whitepapers
Formal Modeling of Mobile Computing Systems Based on Ambient Abstract State Machines
August 21, 2012, 12:00am PDT
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...
Provided by Johannes Kepler University Linz
-
Whitepapers
On the Decidability and Complexity of Identity Knowledge Representation
December 21, 2011, 12:00am PST
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...
Provided by Johannes Kepler University Linz
-
Whitepapers
A Formal Model for the Interoperability of Service Clouds
December 22, 2011, 12:00am PST
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...
Provided by Johannes Kepler University Linz
-
Whitepapers
Challenges in Cloud Computing
November 11, 2011, 12:00am PST
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...
Provided by Johannes Kepler University Linz
-
White Papers
Do Software Engineers Benefit From Source Code Navigation With Traceability? - An Experiment in Software Change Management
August 9, 2011, 12:00am PDT
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...
Provided by Johannes Kepler University Linz
-
White Papers
Detecting Inconsistencies in Multi-View Models With Variability
March 31, 2010, 12:00am PDT
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...
Provided by Johannes Kepler University Linz
-
White Papers
Aspect-Oriented Model-Driven Software Product Line Engineering
April 16, 2008, 12:00am PDT
Software product line engineering aims to reduce development time, e ort, cost, and complexity by taking advantage of the commonality within a portfolio of similar products. The effectiveness of a...
Provided by Johannes Kepler University Linz
-
White Papers
Goal Oriented Opportunistic Sensing
April 27, 2011, 12:00am PDT
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...
Provided by Johannes Kepler University Linz
-
White Papers
Selective Backtracking of Model Changes
January 11, 2010, 12:00am PST
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...
Provided by Johannes Kepler University Linz
-
White Papers
Layoff Tax And The Employment Of The Elderly
November 10, 2008, 12:00am PST
In 1996 Austria introduced a tax for the layoff of older workers, which was tightened in 2000. The regulation requires employers to pay a tax of up to 170 percent of the gross monthly income when...
Provided by Johannes Kepler University Linz
-
White Papers
A Flexible Approach for Generating Product-Specific Documents in Product Lines
May 20, 2010, 12:00am PDT
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,...
Provided by Johannes Kepler University Linz
-
White Papers
Automated Testing and Debugging of SAT and QBF Solvers
July 17, 2010, 12:00am PDT
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....
Provided by Johannes Kepler University Linz
-
White Papers
A Semantic Web Middleware for Virtual Data Integration on the Web
March 10, 2008, 12:00am PDT
In this contribution a system is presented, which provides access to distributed data sources using Semantic Web technology. While it was primarily designed for data sharing and scientific...
Provided by Johannes Kepler University Linz
Keep Up with TechRepublic
Submit a Paper
Get your content listed in our directory!
Our directory is the largest library of vendor-supplied technical content on the Web. It’s also the first place IT decision makers turn to when researching technology solutions. Our members are already finding your competitors’ papers here - shouldn’t they find yours, too? It's FREE so click here and submit your white paper, case study, data sheet, research report, or other document today!
