Refine
H-BRS Bibliography
- yes (117) (remove)
Departments, institutes and facilities
- Fachbereich Informatik (65)
- Institut für Technik, Ressourcenschonung und Energieeffizienz (TREE) (29)
- Fachbereich Ingenieurwissenschaften und Kommunikation (26)
- Fachbereich Angewandte Naturwissenschaften (22)
- Institute of Visual Computing (IVC) (20)
- Institut für Cyber Security & Privacy (ICSP) (10)
- Institut für funktionale Gen-Analytik (IFGA) (10)
- Fachbereich Wirtschaftswissenschaften (5)
- Institut für Sicherheitsforschung (ISF) (4)
- Institut für Verbraucherinformatik (IVI) (4)
Document Type
- Conference Object (72)
- Article (34)
- Part of a Book (4)
- Doctoral Thesis (3)
- Book (monograph, edited volume) (1)
- Lecture (1)
- Master's Thesis (1)
- Preprint (1)
Year of publication
- 2015 (117) (remove)
Language
- English (117) (remove)
Has Fulltext
- no (117) (remove)
Keywords
- FPGA (3)
- Eco-Feedback (2)
- Education (2)
- Taxonomy (2)
- simulation (2)
- 3D activity landscapes (1)
- 3D user interface (1)
- 3D user interfaces (1)
- AMBER (1)
- ATF4 (1)
We present GEM-NI -- a graph-based generative-design tool that supports parallel exploration of alternative designs. Producing alternatives is a key feature of creative work, yet it is not strongly supported in most extant tools. GEM-NI enables various forms of exploration with alternatives such as parallel editing, recalling history, branching, merging, comparing, and Cartesian products of and for alternatives. Further, GEM-NI provides a modal graphical user interface and a design gallery, which both allow designers to control and manage their design exploration. We conducted an exploratory user study followed by in-depth one-on-one interviews with moderately and highly skills participants and obtained positive feedback for the system features, showing that GEM-NI supports creative design work well.
Binary relations with certain properties such as biorders, equivalences or difunctional relations can be represented as particular matrices. In order for these properties to be identified usually a rearrangement of rows and columns is required in order to reshape it into a recognisable normal form. Most algorithms performing these transformations are working on binary matrix representations of the underlying relations. This paper presents an approach to use the RLE-compressed matrix representation as a data structure for storing relations to test whether they are biorders in a hopefully more efficient way.
Communicating Sequential Processes (CSP) [7] is a calculus for concurrent systems that has been the basis of subject-oriented business process management (S-BPM) [4]. We use CSPm -- a machine readable dialect of CSP -- to create a sequence of models for a case study on an "Automated Teller Machine" [1]. We use the refinement checker FDR2 to prove that certain models are correct implementations of specifications.
Comparison of the subject-oriented and the Petri net based approach for business process automation
(2015)
The subject-oriented modelling approach [5] significally differs from the classic Petri net based approach of many business process modeling languages like EPC [9], Business Process Model and Notation (BPMN) [11], and also Yet Another Workflow Language (YAWL) [10]. In this work, we compare the two approaches by modeling a case study called "Procure to Pay"[3], a typical business process where some equipment for a construction site is rented and finally paid. The case study is not only modelled but also automated using the Metasonic Suite for the subject-oriented and YAWL for the Petri net based approach.