DOMAIN SPECIFIC LANGUAGES FOR EFFICIENT SATELLITE CONTROL SOFTWARE DEVELOPMENT Andreas Wortmann, Martin Beet OHB System AG, Universitätsallee 27-29, 28359 Bremen, Germany, Email: Tel.: +

Source URL: mbeddr.com

• Computing
• Software engineering
• Software architecture
• Information and communications technology
• Domain-specific language
• Software development
• Software
• Component-based software engineering
• Application software

List of Acid/Alkali Forming Foods Here is a brief food table based on the information provided by Professor Jürgen Vormanne of the Institute for Prevention and Diet in Ismaning, Germany. Foods with a negative value exer

Source URL: alkaway.com

• Food and drink
• Cuisine
• Staple foods
• World cuisine
• Mediterranean cuisine
• Vegan cuisine
• Yogurt
• Bread
• Pasta
• Paste
• Soy milk
• Table of food nutrients

hosted, managed & made in Germany UNIFIED DESKTOP Kanal- & systemübergreifende Bearbeitung in einem Client

Source URL: www.4com.de

Do Portfolio Solvers Harm? Christoph Weidenbach Max Planck Insitute for Informatics Saarland Informatics CampusSaarbr¨ ucken, Germany

Source URL: www.cs.man.ac.uk

• Theoretical computer science
• Logic in computer science
• Formal methods
• Automated reasoning
• Constraint programming
• Automated theorem proving
• Satisfiability modulo theories
• Solver
• Answer set programming
• Satz
• Model checking
• Algorithm selection

A Framework for Universally Composable Diffie-Hellman Key Exchange Ralf K¨usters and Daniel Rausch University of Stuttgart Stuttgart, Germany Email: {ralf.kuesters, daniel.rausch}@informatik.uni-stuttgart.de

Source URL: www.ieee-security.org

• Cryptography
• Public-key cryptography
• Cryptographic protocols
• Key management
• Public key infrastructure
• DiffieHellman key exchange
• Key exchange
• Forward secrecy
• RSA
• Secure channel
• XTR
• Digital signature

A Relational Encoding for a Clash-Free Subset of ASMs Gerhard Schellhorn, Gidon Ernst, J¨org Pf¨ahler, and Wolfgang Reif Institute for Software and Systems Engineering University of Augsburg, Germany {schellhorn,ernst,

Source URL: www.isse.uni-augsburg.de

• Functional predicate
• Model theory
• Symbol
• Limit of a function
• Universal quantification
• Mathematical logic
• Mathematics
• Logic

SPRING Proceedings - Darmstadt, Germany

Source URL: www.gi-fg-sidar.de

• Computer network security
• Cyberwarfare
• Computing
• Cybercrime
• Multi-agent systems
• Spamming
• Botnet
• Intrusion detection system
• Anomaly detection
• Computer security
• Denial-of-service attack
• Fast flux

Germany: Privatization of Air Traffic Control

Source URL: www.loc.gov

• German constitutional law
• Basic Law for the Federal Republic of Germany
• West Germany
• Federal agency
• President of Germany
• States of Germany
• Law
• Time
• Europe

DBLP — Some Lessons Learned ∗ Michael Ley Universitat ¨ Trier, Informatik D–54286 Trier Germany

Source URL: dblp.org

• DBLP
• University of Trier
• Computer science
• VLDB
• BibTeX
• Michael Ley
• Information science
• Computing

Dr. Markus Völter (Voelter) Born February 14, 1974, in Heidenheim/Brenz, Germany Degrees Dipl. Ing. (FH) Physikalische Technik (Physics Engineering) PhD in Computer Science LAST CHANGED

Source URL: www.voelter.de

• Language workbench
• Computing
• Software engineering
• Software
• Itemis
• Domain-specific language
• Xtext
• JetBrains MPS
• JetBrains
• Software development
• OOPSLA
• Model-driven engineering