Concept
Software framework
Related publications (68)
Containers and Aggregates, Mutators and Isolates for Reactive Programming
Martin Odersky, Philipp Haller, Aleksandar Prokopec
Many programs have an inherently reactive nature imposed by the functional dependencies between their data and external events. Classically, these dependencies are dealt with using callbacks. Reactive programming with first-class reactive values is a parad ...
2014Perimeter flow control in bi-modal urban road networks: A robust feedback control approach
Nikolaos Geroliminis, Nan Zheng, Konstantinos Ampountolas
n this paper, we integrate a three-dimensional Macroscopic Fundamental Diagram (3D-MFD) modelling for mixed bi-modal urban traffic in a control framework for congested urban regions. The 3D-MFD relates the accumulation of cars and buses and the outflow (or ...
IEEE2014Architectures: Design patterns for component-based systems
Architectures depict design principles, paradigms that can be understood by all, allow thinking on a higher plane and avoiding low-level mistakes. They provide means for ensuring correctness by construction by enforcing global properties characterizing the ...
2014Modeling of Reconfigurable Medical Ultrasonic Applications in BIP
Alena Simalatsar, Stefanos Skalistis
Medical ultrasonic imaging applications require high quality of images produced in real-time often with limited resources available. Deadlock-freedom and confluency must be guaranteed to ensure the correctness of the applications, while feasibility and opt ...
Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik2014Hierarchy-oriented modeling of enterprise architecture using reference-model of open distributed processing
Modeling Enterprise Architecture (EA) requires the representation of multiple views for an enterprise. This could be done by a team of stakeholders that essentially have different backgrounds. One way to do this is to structure the model into hierarchical ...
Elsevier2013