Skip to main content

and
Your search also matched 6 preview-only Content is preview-only when you or your institution have not yet subscribed to it.

By making our abstracts and previews universally accessible we help you purchase only the content that is relevant to you.
results, e.g.

Counterexample Interpretation for Contract-Based Design

Include preview-only content
  1. Chapter and Conference Paper

    Towards Smart Systems of Systems

    Systems of Systems (SoS) have started to emerge as a consequence of the general trend toward the integration of beforehand isolated systems. To unleash the full potential, the contained systems must be able to...

    Holger Giese, Thomas Vogel, Sebastian Wätzoldt in Fundamentals of Software Engineering (2015)

  2. Chapter and Conference Paper

    Quantifying Progression of Multiple Sclerosis via Classification of Depth Videos

    This paper presents new learning-based techniques for measuring disease progression in Multiple Sclerosis (MS) patients. Our system aims to augment conventional neurological examinations by adding quantitative...

    Peter Kontschieder, Jonas F. Dorn in Medical Image Computing and Computer-Assis… (2014)