Search results for "Zeus"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
152	James C. Browne, James E. Dutton, Vincent Fernandes, Annette S. Palmer, Jonathan M. Silverman, Anand R. Tripathi, Pong-Sheng Wang	Zeus: An object-oriented distributed operating system for reliable applications.	ACM Annual Conference	1984	DBLP DOI BibTeX RDF
128	John C. Knight, P. Thomas Fletcher, Brian R. Hicks	Tool Support for Production Use of Formal Techniques.	World Congress on Formal Methods	1999	DBLP DOI BibTeX RDF
81	Lourdes Fernández, J. Alfredo Sánchez 0001, Luis Arturo Flores	An Environment for the Collaborative Revision of Digital Theses.	CRIWG	2000	DBLP DOI BibTeX RDF	collaborative revision, digital theses, asynchronous cooperative toolset, University Digital Libraries for All, Internet, Internet, digital library, annotation, revision, electronic documents, Zeus
79	Fredrik Gundelsweiler, Thomas Memmel, Harald Reiterer	ZEUS - Zoomable Explorative User Interface for Searching and Object Presentation.	HCI (8)	2007	DBLP DOI BibTeX RDF	Complex Information Space, Usability, Search, Navigation, Browse, Interactive System, Zoomable User Interface
63	Víctor A. Braberman, Alfredo Olivero, Fernando Schapachnik	Dealing with practical limitations of distributed timed model checking for timed automata.	Formal Methods Syst. Des.	2006	DBLP DOI BibTeX RDF	Distributed timed model checking, Kronos, Load-balance, Reconfiguration, Timed automata, Reachability, Redistribution, Zeus, DBM
63	Víctor A. Braberman, Alfredo Olivero, Fernando Schapachnik	Issues in distributed timed model checking.	Int. J. Softw. Tools Technol. Transf.	2005	DBLP DOI BibTeX RDF	Distributed timed model checking, Kronos, Timed automata, Timed systems, Zeus
50	Darryl N. Davis, Yuan Luo 0002, Kecheng Liu	Combining KADS with ZEUS to Develop a Multi-Agent E-Commerce Application.	Electron. Commer. Res.	2003	DBLP DOI BibTeX RDF	multi-agent system, decision support, ZEUS, KADS, stock trading
48	Shankar Karuppayah, Stefanie Roos, Christian Rossow, Max Mühlhäuser, Mathias Fischer 0001	Zeus Milker: Circumventing the P2P Zeus Neighbor List Restriction Mechanism.	ICDCS	2015	DBLP DOI BibTeX RDF
44	Steven P. Fonseca, Martin L. Griss, Reed Letsinger	Agent behavior architectures a MAS framework comparison.	AAMAS	2002	DBLP DOI BibTeX RDF	FIPAOS, agent behavior, multi-agent system, JADE, ZEUS
44	Martin D. Beer, Geof Staniford, Janice Whatley	Guardian Agents to Support Student Group Projects.	DEXA Workshops	2000	DBLP DOI BibTeX RDF	guardian agents, student group projects, group project work, conventional monitoring techniques, group activity, group failure, teaching staff, ABW-Zeus methodology, Java code, Web-based student learning environments, distance learning, distance learning, distributed environment, group interactions, class libraries
44	Sebastian Böhm, Daniel Lübke (eds.)	Proceedings of the 16th ZEUS Workshop, Ulm, Germany, February 29-March 1, 2024.	ZEUS	2024	DBLP BibTeX RDF
44	Badr-Eddine Bouhlal, Tim Sonnekalb, Bernd Gruner, Clemens-Alexander Brust	User-agent as a Cyber Intrusion Artifact: Detection of APT Activity using minimal Anomalies on the User-agent String Traffic (short paper).	ZEUS	2024	DBLP BibTeX RDF
44	Robin Lichtenthäler	Clounaq - Cloud-native architectural quality (short paper).	ZEUS	2024	DBLP BibTeX RDF
44	Lisa Arnold 0001, Marius Breitmayer, Manfred Reichert	Predictive Process Monitoring: An Implementation and Comparison of Student Performance Prediciton (short paper).	ZEUS	2024	DBLP BibTeX RDF
44	Alexander Grote, Anuja Hariharan, Michael T. Knierim, Christof Weinhardt	How good are you? An empirical classification performance comparison of large language models with traditional open set recognition classifiers (short paper).	ZEUS	2024	DBLP BibTeX RDF
44	Daniel Lübke	A BPMN Profile for Test Case Execution Visualization (short paper).	ZEUS	2024	DBLP BibTeX RDF
44	Marius Breitmayer, Lisa Arnold 0001, Manfred Reichert	Simulating Event Logs from Object Lifecycle Processes (short paper).	ZEUS	2024	DBLP BibTeX RDF
44	Pascal Schiessle, Yusuf Kirikkayis, Manfred Reichert	Towards Robustness of IoT devices in BPMNE4IoT (short paper).	ZEUS	2024	DBLP BibTeX RDF
44	Maxim Vidgof	Towards Process Mining on Kafka Event Streams (short paper).	ZEUS	2024	DBLP BibTeX RDF
44	Philipp Hehnle, Manfred Reichert	Towards the Usage of Object-Aware Process Variants in Multiple Autonomous Organisations (short paper).	ZEUS	2024	DBLP BibTeX RDF
44	Tobias Hummel, Johannes Manner	A Literature Review on Reproducibility Studies in Computer Science (short paper).	ZEUS	2024	DBLP BibTeX RDF
44	Sebastian Böhm, Daniel Lübke (eds.)	Proceedings of the 15th ZEUS Workshop, Hannover, Germany, February 16-17, 2023.	ZEUS	2023	DBLP BibTeX RDF
44	Christopher Starck, Javad Ghofrani	Improving Load Balancing of Long-lived Streaming RPCs for gRPC-enabled Inter-service Communication (short paper).	ZEUS	2023	DBLP BibTeX RDF
44	Marius Breitmayer, Lisa Arnold 0001, Stephan La Rocca, Manfred Reichert	Discovering Process Models of Different Granularity from Legacy Software Systems (short paper).	ZEUS	2023	DBLP BibTeX RDF
44	Elias Baalmann, Daniel Lübke	Validation of Algorithmic BPMN Layout Classification (short paper).	ZEUS	2023	DBLP BibTeX RDF
44	Sebastian Böhm, Guido Wirtz	Immutable Operating Systems: A Survey (short paper).	ZEUS	2023	DBLP BibTeX RDF
44	Lisa Arnold 0001, Marius Breitmayer, Manfred Reichert	Towards Progress Determination in Dynamically Evolving Large Process Structures (short paper).	ZEUS	2023	DBLP BibTeX RDF
44	Maximilian König	Execution Semantics of Process Models with Data (short paper).	ZEUS	2023	DBLP BibTeX RDF
44	Yusuf Kirikkayis, Florian Gallik, Manfred Reichert	Enhancing BPMN 2.0 with IoT Modeling Aspects: How Much Language is Enough? (short paper).	ZEUS	2023	DBLP BibTeX RDF
44	Anjo Seidel	Toward Model-driven Planning Support for Construction Processes (short paper).	ZEUS	2023	DBLP BibTeX RDF
44	Daniel Lübke, Volker Stiehl	Model Reader Preferences for Semantically Duplicate Elements in BPMN (short paper).	ZEUS	2023	DBLP BibTeX RDF
44	Johannes Manner, Daniel Lübke, Stephan Haarmann, Stefan Kolb 0001, Nico Herzberg, Oliver Kopp (eds.)	Proceedings of the 14th Central European Workshop on Services and their Composition (ZEUS 2022), Bamberg, Germany, February 24-25, 2022.	ZEUS	2022	DBLP BibTeX RDF
44	Finn Klessascheck	Towards a Framework for Business Process Sustainability Analysis (short paper).	ZEUS	2022	DBLP BibTeX RDF
44	Arvid Lepsien, Jan Bosselmann, Andreas Melfsen, Agnes Koschmider	Process Mining on Video Data.	ZEUS	2022	DBLP BibTeX RDF
44	Robin Lichtenthäler, Guido Wirtz	A Review of Approaches for Quality Model Validations in the Context of Cloud-native Applications.	ZEUS	2022	DBLP BibTeX RDF
44	Robin Lichtenthäler, Sebastian Böhm, Johannes Manner, Stefan Winzinger	A Use Case-based Investigation of Low-Code Development Platforms.	ZEUS	2022	DBLP BibTeX RDF
44	Tom Lichtenstein	Preserving Data Consistency in Process Choreographies by Design (short paper).	ZEUS	2022	DBLP BibTeX RDF
44	Marius Breitmayer, Lisa Arnold 0001, Manfred Reichert	Towards Retrograde Process Analysis in Running Legacy Applications (short paper).	ZEUS	2022	DBLP BibTeX RDF
44	Anjo Seidel, Stephan Haarmann	Decision Support for Knowledge-Intensive Processes.	ZEUS	2022	DBLP BibTeX RDF
44	Sandro Speth, Sarah Stieß, Steffen Becker 0001	A Vision for Explainability of Coordinated and Conflicting Adaptions in Self-Adaptive Systems (short paper).	ZEUS	2022	DBLP BibTeX RDF
44	Elias Baalmann, Daniel Lübke	Algorithmic Classification of Layouts of BPMN Diagrams.	ZEUS	2022	DBLP BibTeX RDF
44	Yusuf Kirikkayis, Florian Gallik, Manfred Reichert	Visual Decision Modeling in IoT-Aware Processes (short paper).	ZEUS	2022	DBLP BibTeX RDF
44	Jasmin Türker, Michael Völske, Thomas S. Heinze	BPMN in the Wild: A Reprise.	ZEUS	2022	DBLP BibTeX RDF
44	Daniel Lübke, Maike Ahrens	Towards an Experiment for Analyzing Subprocess Navigation in BPMN Tooling (short paper).	ZEUS	2022	DBLP BibTeX RDF
44	Johannes Manner, Stephan Haarmann, Stefan Kolb 0001, Nico Herzberg, Oliver Kopp (eds.)	Proceedings of the 13th European Workshop on Services and their Composition (ZEUS 2021), Bamberg, Germany, February 25-26, 2021.	ZEUS	2021	DBLP BibTeX RDF
44	Sebastian Böhm, Guido Wirtz	Profiling Lightweight Container Platforms: MicroK8s and K3s in Comparison to Kubernetes.	ZEUS	2021	DBLP BibTeX RDF
44	Mathias Schubanz	Custom-MADE - Leveraging Agile Rationale Management by Employing Domain-Specific Languages.	ZEUS	2021	DBLP BibTeX RDF
44	Jonas Cremerius	Towards a Framework for Data Enhanced Process Models in Process Mining.	ZEUS	2021	DBLP BibTeX RDF
44	Simon Siegert, Maximilian Völker	Towards Decision Management for Robotic Process Automation.	ZEUS	2021	DBLP BibTeX RDF
44	Stephan Haarmann	Fragment-Based Case Management Models: Metamodel, Consistency, & Correctness.	ZEUS	2021	DBLP BibTeX RDF
44	Marius Breitmayer, Lisa Arnold 0001, Manfred Reichert	A Dashboard-based Approach for Monitoring Object-Aware Processes.	ZEUS	2021	DBLP BibTeX RDF
44	Daniel Lübke, Daniel Wutke	Analysis of Prevalent BPMN Layout Choices on GitHub.	ZEUS	2021	DBLP BibTeX RDF
44	Fabiana Rossi	A Deep Q-learning Scaling Policy for Elastic Application Deployment.	ZEUS	2021	DBLP BibTeX RDF
44	Thomas S. Heinze, Wolfram Amme, André Schäfer	Detecting Semantic Business Process Model Clones.	ZEUS	2021	DBLP BibTeX RDF
44	Karolin Dürr, Robin Lichtenthäler, Guido Wirtz	An Evaluation of Saga Pattern Implementation Technologies.	ZEUS	2021	DBLP BibTeX RDF
44	Dominik Voigt, Oliver Kopp, Karoline Wild	Systematic Literature Tools: Are we there yet?	ZEUS	2021	DBLP BibTeX RDF
44	Tobias Ziolkowski, Lennart Brandt, Agnes Koschmider	ElogQP: An Event log Quality Pointer.	ZEUS	2021	DBLP BibTeX RDF
44	Lisa Arnold 0001, Marius Breitmayer, Manfred Reichert	Towards Real-Time Progress Determination of Object-Aware Business Processes.	ZEUS	2021	DBLP BibTeX RDF
44	Johannes Manner, Stephan Haarmann, Stefan Kolb 0001, Oliver Kopp (eds.)	Proceedings of the 12th ZEUS Workshop on Services and their Composition, Potsdam, Germany, February 20-21, 2020.	ZEUS	2020	DBLP BibTeX RDF
44	Simon Remy	Incorporating Organizational Aspects into Fragment-based Case Management.	ZEUS	2020	DBLP BibTeX RDF
44	Marius Breitmayer, Manfred Reichert	Towards the Discovery of Object-Aware Processes.	ZEUS	2020	DBLP BibTeX RDF
44	Saliha Irem Besik, Johann-Christoph Freytag	Managing Consent in Workflows under GDPR.	ZEUS	2020	DBLP BibTeX RDF
44	Fabiana Rossi	Auto-scaling Policies to Adapt the Application Deployment in Kubernetes.	ZEUS	2020	DBLP BibTeX RDF
44	Thomas S. Heinze, Viktor Stefanko, Wolfram Amme	BPMN in the Wild: BPMN on GitHub.com.	ZEUS	2020	DBLP BibTeX RDF
44	Robin Lichtenthäler, Stefan Winzinger, Johannes Manner, Guido Wirtz	When to use FaaS? - Influencing Technical Factors for and against using Serverless Functions.	ZEUS	2020	DBLP BibTeX RDF
44	Laura Sophie Thiele, Nico Brehm	Managing Social Challenges in Cross-Organizational Event-Based Systems.	ZEUS	2020	DBLP BibTeX RDF
44	Oliver Kopp	The Ultimate Comparison Framework.	ZEUS	2020	DBLP BibTeX RDF
44	Maximilian Völker, Luise Pufahl	Towards a Framework for Context-Aware Resource Behaviour Analysis.	ZEUS	2020	DBLP BibTeX RDF
44	Oliver Kopp, Jörg Lenhard, Cesare Pautasso (eds.)	Proceedings of the 9th Central European Workshop on Services and their Composition (ZEUS 2017), Lugano, Switzerland, February 13-14, 2017.	ZEUS	2017	DBLP BibTeX RDF
44	Thomas S. Heinze	Towards Certified Data Flow Analysis of Business Processes.	ZEUS	2017	DBLP BibTeX RDF
44	Xixi Lu 0001, Dirk Fahland	A Conceptual Framework for Understanding Event Data Quality for Behavior Analysis.	ZEUS	2017	DBLP BibTeX RDF
44	Thilo Schnelle, Daniel Lübke	Towards the Generation of Test Cases for Executable Business Processes from Classification Trees.	ZEUS	2017	DBLP BibTeX RDF
44	Leonildo José de Melo de Azevedo, Júlio Cezar Estrella, Claudio Fabiano Motta Toledo, Stephan Reiff-Marganiec	An Analysis of Metaheuristic to SLA Establishment in Cloud Computing.	ZEUS	2017	DBLP BibTeX RDF
44	Christoph Hochreiner	VISP Testbed - A Toolkit for Modeling and Evaluating Resource Provisioning Algorithms for Stream Processing Applications.	ZEUS	2017	DBLP BibTeX RDF
44	Andreas Fritsch	Modeling and Analysis of Sustainability in Product Life Cycles.	ZEUS	2017	DBLP BibTeX RDF
44	Simon Duque Antón, Daniel Fraunholz, Janis Zemitis, Frederic Pohl, Hans Dieter Schotten	Highly Scalable and Flexible Model for Effective Aggregation of Context-based Data in Generic IIoT Scenarios.	ZEUS	2017	DBLP BibTeX RDF
44	Masiar Babazadeh	Tuning Browser-to-Browser Offloading for Heterogeneous Stream Processing Web Applications.	ZEUS	2017	DBLP BibTeX RDF
44	Felix W. Baumann, Dieter Roller 0002	Closed-Loop Control of 3D Printers via WebServices.	ZEUS	2017	DBLP BibTeX RDF
44	Philipp Neugebauer, Christian Maier, Alexander Bumann	Benchmark Proposal for Multi-Tenancy in the Database Layer.	ZEUS	2017	DBLP BibTeX RDF
44	Matthias Geiger, Philipp Neugebauer, Andreas Vorndran	Automatic Standard Compliance Assessment of BPMN 2.0 Process Models.	ZEUS	2017	DBLP BibTeX RDF
44	Matteo Nardelli 0001	Elastic Allocation of Docker Containers in Cloud Environments.	ZEUS	2017	DBLP BibTeX RDF
44	Ronny Seiger, Steffen Huber, Peter Heisig	PROtEUS++: A Self-managed IoT Workflow Engine with Dynamic Service Discovery.	ZEUS	2017	DBLP BibTeX RDF
44	Oliver Kopp, Uwe Breitenbücher	Choreographies are Key for Distributed Cloud Application Provisioning.	ZEUS	2017	DBLP BibTeX RDF
44	Sankalita Mandal	Events in BPMN: The Racing Events Dilemma.	ZEUS	2017	DBLP BibTeX RDF
44	Christoph Hochreiner, Stefan Schulte 0002 (eds.)	Proceedings of the 8th ZEUS Workshop, Vienna, Austria, January 27-28, 2016.	ZEUS	2016	DBLP BibTeX RDF
44	Jan Mendling	From Scientific Process Management to Process Science: Towards an Empirical Research Agenda for Business Process Management.	ZEUS	2016	DBLP BibTeX RDF
44	Frank Steimle, Matthias Wieland 0001	ECHO - An mHealth Solution to Support Treatment of Chronic Patients.	ZEUS	2016	DBLP BibTeX RDF
44	Felix W. Baumann, Dieter Roller 0002	3D Printing Process Pipeline on the Internet.	ZEUS	2016	DBLP BibTeX RDF
44	Olena Skarlat	Elastic Manufacturing Process Landscapes.	ZEUS	2016	DBLP BibTeX RDF
44	Matthias Geiger, Simon Harrer, Jörg Lenhard	Process Engine Benchmarking with Betsy - Current Status and Future Directions.	ZEUS	2016	DBLP BibTeX RDF
44	Michael Hanser, Claudio Di Ciccio, Jan Mendling	A Novel Framework for Visualizing Declarative Process Models.	ZEUS	2016	DBLP BibTeX RDF
44	Meike Ullrich, Andreas Schoknecht	(Business Process) Models from an Educational Perspective.	ZEUS	2016	DBLP BibTeX RDF
44	Matteo Nardelli 0001	A Framework for Data Stream Applications in a Distributed Cloud.	ZEUS	2016	DBLP BibTeX RDF
44	Budoor Allehyani, Stephan Reiff-Marganiec	Maintaining Goals of Business Processes during Runtime Reconfigurations.	ZEUS	2016	DBLP BibTeX RDF
44	Timm Caporale	A Tool for Natural Language Oriented Business Process Modeling.	ZEUS	2016	DBLP BibTeX RDF
44	Richard Braun	SemFrameX - Towards a Framework for the Semantic Justification of BPMN Adaptations.	ZEUS	2016	DBLP BibTeX RDF
44	Thomas S. Heinze, Thomas M. Prinz (eds.)	Proceedings of the 7th Central European Workshop on Services and their Composition, ZEUS 2015, Jena, Germany, February 19-20, 2015.	ZEUS	2015	DBLP BibTeX RDF
44	Thomas M. Prinz	Proposals for a Virtual Machine for Business Processes.	ZEUS	2015	DBLP BibTeX RDF
44	Jonas Lehner	Personal BPM - Bringing the Power of Business Process Management to the User.	ZEUS	2015	DBLP BibTeX RDF
44	Nico Herzberg, Matthias Kunze 0001	The Business Process Game.	ZEUS	2015	DBLP BibTeX RDF