Heterogeneous specification becomes more and more important because complex systems
are often specified using multiple viewpoints, involving multiple formalisms (see Fig. 1). …

Considerable phenotypic heterogeneity has been reported in gingival fibroblasts. Similarly,
cells from the periodontal ligament (PDL) can be isolated with different phenotypes. Although …

Maude modules can be understood as models that can be formally analyzed and verified
with respect to different properties expressing various formal requirements. However, Maude …

In the digital age, almost all organizations have become dependent on Information
Technology (IT) systems at different levels of their individual and collective activities. Physical …

In this paper, we propose an intelligent DDoS detection and response framework. It employs
a Security Information and Event Management (SIEM) tool to detect different types of DDoS …

The central idea of the Heterogeneous Tool Set (HETS) is to provide an open source general
framework for formal methods integration and proof management. One can think of HETS …

Rund zwölf Millionen Deutsche verloren nach dem Zweiten Weltkrieg ihr Heim in Mittel-und
Osteuropa. Der größte Teil davon kam ins besetzte Deutschland. Meist bleibt in Forschung …

Die vorliegende Arbeit befasst sich mit Bewegungsausdrücken im Deutschen und im
Französischen. Unter Bewegung wird im Rahmen dieser Arbeit eine Ortsveränderung durch einen …

Many existing software systems like logistics systems or enterprise applications employ data
security in a more or less ad hoc fashion. Our approach focuses on access control such as …

Modern sea or inland ports rely on digital communication and systems to boost rapid
turnover of trade. Stakeholders like shippers, shipping lines, container terminals and port …