- Subscribe to this page:
- RSS
- Email Alert
Johannes Kepler University Linz
(11 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
A Change Framework Based on the Low Level Virtual Machine Compiler Infrastructure
April 1, 2007, 12:00am PDT
When developing or deploying large applications, one would like to have more insights into what an application is doing at runtime. Frequently it is required to change defective parts of an...
Provided by Johannes Kepler University Linz
-
White Papers
The Effects Of Marginal Employment On Subsequent Labour Market Outcomes
July 25, 2006, 12:00am PDT
The authors analyse the consequences of starting a wage subsidised job, "Marginal employment", for unemployed workers. Marginal employment is a type of wage subsidy paid to unemployed workers and...
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
-
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
-
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
The Effects Of Marginal Employment On Subsequent Labour Market Outcomes
July 25, 2006, 12:00am PDT
The authors analyse the consequences of starting a wage subsidised job, "Marginal employment", for unemployed workers. Marginal employment is a type of wage subsidy paid to unemployed workers and...
Provided by Johannes Kepler University Linz
-
White Papers
A Change Framework Based on the Low Level Virtual Machine Compiler Infrastructure
April 1, 2007, 12:00am PDT
When developing or deploying large applications, one would like to have more insights into what an application is doing at runtime. Frequently it is required to change defective parts of an...
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
Upcoming Webcasts
Upcoming webcasts from leading IT vendors
-
2012-05-24 at 11:00 am PT | 2:00 pm ET
Live Webcast: The 2012 Guide to Better Business Benefits from Data Analytics
Sponsored by Tableau Software
-
2012-06-05 at 11:00 am PT | 2:00 pm ET
Live Webcast: Getting to Microsoft Office 365: The right migration for your business
Sponsored by Microsoft
-
2012-06-12 at 9:00 am PT | 12:00 pm ET
Live Webcast: WebSphere DataPower for Mobile Application Security
Sponsored by IBM
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!
