Auflistung nach DDC-Sachgruppe "DDC 004 / Data processing & computer science"
Anzeige der Dokumente 1-20 von 414
-
11. DFN-Forum Kommunikationstechnologien: 27.-28. Juni 2018, Günzburg
Konferenzband(Universität Ulm, 2018)
-
17. Workshop über Komplexitätstheorie, effiziente Algorithmen und Datenstrukturen am 26. Mai 1992 in Ulm
KonferenzveröffentlichungAbstracts der Vorträge -
A cloud-centric survey on distributed database evaluation
Wissenschaftlicher Artikel(Universität Ulm, 2017-06-13)The database landscape has significantly evolved over the last decade and distributed databases running in the cloud moved into the focus. This evolvement challenges the already non-trivial task of selecting and deploying ... -
A companion-system architecture for realizing individualized and situation-adaptive user assistance
Bericht(Universität Ulm, 2018-12-19)We show how techniques from various research areas – most notably hierarchical planning, dialog management, and interaction management – can be employed to realize individualized and situation-adaptive user assistance. We ... -
A comparison of TCP congestion control algorithms in 10G networks
Konferenzveröffentlichung(Universität Ulm, The Institute of Electrical and Electronics Engineers (IEEE), 2016-11)The increasing availability of 10G Ethernet network capabilities challenges existing transport layer protocols. As 10G connections gain momentum outside of backbone networks, the choice of appropriate TCP congestion control ... -
A complete and terminating execution model for Constraint Handling Rules
BerichtWe observe that the various formulations of the operational semantics of Constraint Handling Rules proposed over the years fall into a spectrum ranging from the analytical to the pragmatic. While existing analytical ... -
A comprehensive approach to transparent and flexible replication of Java services and applications
DissertationFault-tolerance by replication has been re-implemented over and over again. Even though many replicated services apply the same replication protocols, their implementations are not re-usable, because replication is seldom ... -
A coprocessor for fast searching in large databases: Associative Computing Engine
DissertationAs a matter of fact, information retrieval has changed considerably in recent years with the expansion of the Internet and the advent of always more modern and inexpensive mass storage devices. Due to the enormous increase ... -
A Dataset of EMF Models from Eclipse Projects
Forschungsdaten(Universität Ulm, 2018-09-17)Models are key artefacts in Model-driven software engineering. Data sets of models from practice are highly valuable as input for different modelling research areas, e.g., performance benchmarks for modelling tools ... -
A debating ontology for argumentative dialogue systems
Abschlussarbeit (Bachelor)(Universität Ulm, 2018-06-01)This thesis designs and implements an ontology which encodes the argumentative structure of natural language debates. This Debating Ontology will constitute the database for a prospective Argumentative Dialogue System, ... -
A formal framework for data-aware process interaction models
BerichtIT support for distributed and collaborative workflows as well as related interactions between business partners are becoming increasingly important. For modeling such partner interactions as flow of message exchanges, ... -
A formal semantics of time patterns for process-aware information systems
BerichtCompanies increasingly adopt process-aware information systems (PAISs) to coordinate, monitor and evolve their business processes. Although the proper handling of temporal constraints (e.g. deadlines and minimum time lags ... -
A framework for visually monitoring business process compliance
Wissenschaftlicher Artikel(Universität Ulm, 2017)
-
A guided tour through TYPELAB*
BerichtThis report gives a survey of TYPELAB, a specification and verification environment that integrates interactive proof development and automated proof search. TYPELAB is based on a constructive type theory, the Calculus of ...