Card

Organization Name (de) Name der Organisation (de)
E184 - Institut für Informationssysteme
 
Parent OrgUnit Übergeordnete Organisation
 

OrgUnit funded Projects


Results 1-20 of 56 (Search time: 0.001 seconds).

ProjectPrinciple InvestigatorCoordinating Department
Advanced Barrier-free Browser Accessibility Pichler, Reinhard  E184 - Institut für Informationssysteme 
Answer Set Programmierung für das Semant Eiter, Thomas  E184 - Institut für Informationssysteme 
Architecture-driven Self-adaptation of Mixed Systems Mayr-Dorn, Christoph  E184 - Institut für Informationssysteme 
Augmented Diagnosis and Testing for SOAs - Audit 4 SOAs Dustdar, Schahram  E184 - Institut für Informationssysteme 
Automated Program Analysis for Bounds on Resource Consumption Zuleger, Florian  E184 - Institut für Informationssysteme 
Automatic Elasticity Provisioning Platform for Cloud Applications Dustdar, Schahram  E184 - Institut für Informationssysteme 
Cloud computing research lab Dustdar, Schahram  E184 - Institut für Informationssysteme 
COllaboration and INteroperability for networked enterprises Dustdar, Schahram  E184 - Institut für Informationssysteme 
Community-based Interoperability Utility for SMEs Dustdar, Schahram  E184 - Institut für Informationssysteme 
COMPASS - Component Based Automotive System Software Göschka, Karl Michael  E184 - Institut für Informationssysteme 
Complementary Approaches to Constraint Satisfaction Gottlob, Georg  E184 - Institut für Informationssysteme 
Compliance-driven Models, Languages, and Architectures for Services Dustdar, Schahram  E184 - Institut für Informationssysteme 
Cycle Double Cover Problems, Generalized Bipartizing Matchings and Snarks Eiter, Thomas  E184 - Institut für Informationssysteme 
Dependable Distributed Systems Göschka, Karl Michael  E184 - Institut für Informationssysteme 
Evaluation of ASP Programs with External Source Access Eiter, Thomas  E184 - Institut für Informationssysteme 
Extending the Answer-Set Programming Paradigm to Decomposed Problem Solving Woltran, Stefan  E184 - Institut für Informationssysteme 
FAME: Formalizing and Managing Evolution in Model-Driven Engineering Egly, Uwe  E184 - Institut für Informationssysteme 
Formal Methods for Optimizing Nonmonotonic Logic Programs Tompits, Hans  E184 - Institut für Informationssysteme 
FORTAS - Developing methods to analyze the timing behavior of real-time software by systematic and formally well-founded testing Veith, Helmut  E184 - Institut für Informationssysteme 
Foundations of Self-governing ICT Infrastructures Brandic, Ivona  E184 - Institut für Informationssysteme