@inbook{56741,
  author       = {{Süßmann, Johannes}},
  booktitle    = {{Die Sicht auf das Gestern mit den Augen von heute. Festschrift für Jörg W. Busch zum 65. Geburtstag}},
  editor       = {{Cusa, Giuseppe and Spahn, Philpp N.}},
  isbn         = {{978-3-515-13830-7}},
  keywords     = {{Early Modern History, History of Libraries, Tradition of Libraries}},
  pages        = {{275–283}},
  publisher    = {{Franz Steiner}},
  title        = {{{Überlieferungs-Chance und Überlieferungs-Zufall frühneuzeitlicher Bibliotheksbestände. Fortführung eines Gesprächs}}},
  doi          = {{https://doi.org/10.25162/9783515138314}},
  volume       = {{51}},
  year         = {{2024}},
}

@inproceedings{13323,
  abstract     = {{The interoperability of web archives and digital libraries is crucial to avoid silos of preserved data and content. While various researches focus on specfic facets of the challenge to interoperate, there is a lack of empirical work about the overall situation of actual challenges. We conduct a Delphi study to survey and reveal the insights of experts in the field. Results of our study are presented in this paper to enhance further research and development efforts for interoperability.}},
  author       = {{Kalb, Hendrik and Lazaridou, Paraskevi and Pinsent, Edward and Trier, Matthias}},
  booktitle    = {{Proceedings of the 10th International Conference on Preservation of Digital Objects}},
  isbn         = {{9789725654934}},
  keywords     = {{Interoperability, Web Archives, Digital Libraries, Delphi Study}},
  pages        = {{19--28}},
  publisher    = {{Biblioteca Nacional de Portugal}},
  title        = {{{Interoperability of Web Archives and Digital Libraries: A Delphi Study}}},
  year         = {{2013}},
}

@inproceedings{37057,
  abstract     = {{Many heterogeneous embedded systems, for example industrial automation and automotive applications, require hard-real time constraints to be exhaustively verified - which is a challenging task for the verification engineer. To cope with complexity, verification techniques working on different abstraction levels are best practice. SystemC is a versatile C++ based design and verification language, offering various mechanisms and constructs required for embedded systems modeling. Using the add-on SystemC Verification Library (SCV) elemental constrained-random stimuli techniques may be used for verification. However, SCV has several drawbacks such as lack of functional coverage. In this paper we present a functional coverage library that implements parts of the IEEE 1800-2005 SystemVerilog standard and allows capturing functional coverage throughout the design and verification process with SystemC. Moreover, we will demonstrate the usability of the approach with a case study working on a CAN bus model written in SystemC.}},
  author       = {{Defo, Gilles B. and Müller, Wolfgang and Kuznik, Christoph}},
  booktitle    = {{Proceedings of SIES 2010}},
  keywords     = {{Libraries, Generators, Transfer functions, Monitoring, Computational modeling, Driver circuits, Adaptation model}},
  location     = {{ Trento, Italy}},
  publisher    = {{IEEE}},
  title        = {{{Verification of a CAN Bus Model in SystemC with Functional Coverage}}},
  doi          = {{10.1109/SIES.2010.5551379}},
  year         = {{2010}},
}

@inproceedings{39505,
  abstract     = {{3D-graphics are becoming popular in a steadily increasing number of areas such as entertainment, scientific visualization, simulation, and virtual reality. Despite this rapid growth the generation of animated 3D scenes is by no means trivial. Since animated 3D objects evolve over time the authors denote these objects as 4D. The article presents a novel approach to the rapid prototyping of 4D models. They introduce the AAL (Animated Agent Layer) system. AAL is an interpreter-based approach covering a textual (AAL-PR) as well as a visual command language (AAL-VL) for the specification of the dynamics in 4D scenes. AAL provides support for different levels of abstraction: primitives, structured objects, animated objects, and animated (autonomous) agents.}},
  author       = {{Dücker, M. and Geiger, Christian and Hunstock, R. and Lehrenfeld, Georg and Müller, Wolfgang}},
  booktitle    = {{Proceedings of the 1997 IEEE Symposium on Visual Languages}},
  isbn         = {{0-8186-8144-6}},
  keywords     = {{Prototypes, Layout, Animation, Command languages, Application software, Libraries, Virtual reality, Computer graphics, Hardware, Context modeling}},
  title        = {{{Visual-Textual Prototyping of 4D Scenes}}},
  doi          = {{10.1109/VL.1997.626601}},
  year         = {{1997}},
}