Advanced Parallel Processing Technologies
5th International Workshop, APPT 2003, **amen, China, September 17-19, 2003. Proceedings
Article
An adaptive system is able to adapt at runtime to dynamically changing environments and to new requirements. Adaptive systems can be single adaptive entities or collective ones that consist of several collabor...
Chapter and Conference Paper
A collective adaptive system consists of collaborating entities that are able to adapt in real-time to dynamically changing and open environments and changing needs. Rigorous engineering requires appropriate m...
Article
An adaptive system is able to adapt at runtime to dynamically changing environments and to new requirements. Adaptive systems can be single adaptive entities or collective ones that consist of several collabor...
Chapter and Conference Paper
A collective adaptive system consists of collaborating entities that are able to adapt at runtime to dynamically changing, open-ended environments and to evolving requirements. Rigorous engineering requires ap...
Chapter and Conference Paper
This short paper gives an introduction to a panel held as part of the track on ‘Rigorous Engineering of Collective Adaptive Systems’ at ISOLA 2018. The discussion was structured on the basis of twenty question...
Chapter and Conference Paper
A collective adaptive system consists of collaborating entities that are able to adapt at runtime to dynamically changing, open-ended environments and to new requirements. Rigorous engineering requires appropr...
Chapter and Conference Paper
The emergence of Distributed Ledger Technologies and Cryptocurrencies impacts on how transactions of various assets between parties in highly dynamical settings – such as the Internet of Things or Smart Cities...
Chapter and Conference Paper
This short paper gives an introduction to a panel held as part of the track on “Rigorous Engineering of Collective Adaptive Systems” at ISOLA 2016. The moderator Stefan Jähnichen (TU Berlin) and the panelists ...
Chapter and Conference Paper
Today’s software systems are becoming increasingly distributed and decentralized and it would be important to have them adapt autonomously to dynamically changing, open-ended environments. Often the nodes of s...
Chapter and Conference Paper
In modeling and simulation it is often necessary to simulate a model with a variety of settings and evaluate the simulation results with measured data or previously acquired results. As doing this manually is ...
Chapter and Conference Paper
In [1] Puget argued for a “model-and-run” paradigm for constraint programming. He proposed to develop a standard file format to express CP models. There is no such unified modeling standard available to the CP...
Chapter and Conference Paper
The constraint programming community keeps on creating numerous search algorithms, which differ to a greater or lesser extent.It is an as desirable as difficult task to implement a variety of search algorithms...
Book and Conference Proceedings
5th International Workshop, APPT 2003, **amen, China, September 17-19, 2003. Proceedings
Article
(25/1) vorgebracht haben [5]. Rein äußerlich enthält jener Artikel einige Ungenauigkeiten und Fehler, die eine Richtigstellung verlangen.
Book and Conference Proceedings
8th International Conference, CC’99, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS’99, Amsterdam, The Netherlands, March 22-28, 1999. Proceedings
Chapter and Conference Paper
We present two concepts that help software engineers to perform different software development activities systematically. The concept of an agenda serves to represent technical process knowledge. An agenda consis...
Book
Chapter
We show how software development based on algebraic specification can formally be represented in the development language Deva. We have formalized essential parts of the algebraic specification language Spectrum ...
Chapter and Conference Paper
Requirements for tools which support the creation and the intelligible presentation of formal deductions are investigated. They are contrasted with requirements which emphasize the interactive construction of cor...
Chapter and Conference Paper
The project ToolUse aims at providing means for active assistance in the design, implementation and evolution of software. This is achieved and supported by a formal development language called Deva. As Deva u...