Partial Valuation Structures for Qualitative Soft Constraints Alexander Schiendorfer, Alexander Knapp, Jan-Philipp Stegh¨ofer, Gerrit Anders, Florian Siefert, and Wolfgang Reif Institute for Software & Systems Engineeri

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

• Local consistency
• Constraint satisfaction
• Constraint
• Relational model
• Artificial intelligence
• Constraint inference
• Decomposition method
• Constraint programming
• Computing
• Constraint satisfaction problem

Constraint Relationships for Soft Constraints Alexander Schiendorfer, Jan-Philipp Stegh¨ofer, Alexander Knapp, Florian Nafz and Wolfgang Reif Abstract We introduce constraint relationships as a means to define qualitati

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

• Constraint programming
• Constraint satisfaction problem
• Constraint satisfaction

Synthesis and Abstraction of Constraint Models for Hierarchical Resource Allocation Problems Alexander Schiendorfer, Jan-Philipp Stegh¨ofer, and Wolfgang Reif Institute of Software & Systems Engineering, Augsburg Univer

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

• Computing
• Computer programming
• Operations research
• Mathematical optimization
• Constraint satisfaction
• Economic model
• Agent-based model
• Computational complexity theory
• Abstraction
• Constraint programming
• Software engineering
• Programming paradigms

Preprints of the Federated Conference on Computer Science and Information Systems pp. 1559–1568 Synthesised Constraint Models for Distributed Energy Management Alexander Schiendorfer, Jan-Philipp Steghöfer, Wolfgang R

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

• Software engineering
• Computer programming
• Applied mathematics
• Constraint satisfaction
• Linear programming
• Economic model
• Multi-objective optimization
• Constraint inference
• Constraint programming
• Operations research
• Mathematical optimization

Formal Specification of an Erase Block Management Layer for Flash Memory J¨ org Pf¨ ahler, Gidon Ernst, Gerhard Schellhorn, Dominik Haneberg, and Wolfgang Reif

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

• Flash file systems
• Non-volatile memory
• Embedded Linux
• UBIFS
• Flash memory
• Wear leveling
• Solid-state drive
• Memory Technology Device
• Disk formatting
• Computer memory
• Computer hardware
• Computing

Le itge dank e Se rvice D ie W isse nsch aft h at sich m it de m dram atisch e n Anste ige n de r z ur Ve rfügung ste h e nde n Inform atione n und Inform ationsm itte l grundl e ge nd ve rände rt. M e h r noch al

Source URL: www.ub.uni-konstanz.de

Formalizing Information Flow Control in a Model-Driven Approach? Kurt Stenzel, Kuzman Katkalov, Marian Borek, and Wolfgang Reif Institute for Software & Systems Engineering, Augsburg University, Germany

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

• Models of computation
• Software engineering
• Data modeling
• Theoretical computer science
• Systems engineering
• Model-driven architecture
• Finite-state machine
• UML state machine
• UMLsec
• Unified Modeling Language
• Automata theory
• Digital electronics

Beruftiche Weiterbitdung FSKB Seminar ((Beton: rìêuê materia[tech nolog ische Erken ntn isse>> Für Baustoff prüfer, Betontechnotogen, technische Verantworttiche von Betonwerken etc.

Source URL: www.fskb.ch

+ Schweizerische Eidgenossenschaft Conf~d~ration su isse Confederazione Svizzera Confederaziun svizra

Source URL: www.admin.ch

Q Schweizerische Eidgenossenschaft Confdration su isse Confederazione Svizzera Confederaziun svizra

Source URL: www.labor-spiez.ch