"Anwendungssystem" . . "Anwendungssystem." . "Intelligence artificielle Congrès." . . "Computer systems." . . . . "Softwareentwicklung Aufsatzsammlung Formale Methode." . . "Softwareentwicklung Aufsatzsammlung Emergenz Wissenschaftliches Rechnen." . . "Formale Methode" . . "Formale Methode." . "Ubiquitous Computing Aufsatzsammlung Ambient Intelligence Softwareplattform." . . "Enginyeria de programari." . . "Systementwicklung" . . "Systementwicklung." . "Softwareentwicklung Emergenz Wissenschaftliches Rechnen Aufsatzsammlung." . . "Software engineering." . . "Software Engineering." . "Logics and Meanings of Programs." . . "Elaboratori elettronici - Programmazione." . . "Emergenz" . . "Emergenz." . "Artificial intelligence." . . "Elaboratori elettronici - Sistemi operativi." . . "Programming Languages, Compilers, Interpreters." . . "Softwareplattform" . . "Softwareplattform." . "Ubiquitous Computing" . . "Ubiquitous Computing." . "Ubiquitous Computing Ambient Intelligence Softwareplattform Aufsatzsammlung." . . "Wissenschaftliches Rechnen" . . "Wissenschaftliches Rechnen." . "Ambient Intelligence" . . "Ambient Intelligence." . "Systementwicklung Aufsatzsammlung Anwendungssystem." . . "Software - Ingegneria." . . "Softwareentwicklung Formale Methode Aufsatzsammlung." . . "Intel·ligència artificial." . . "Computer Science." . . "Softwareentwicklung" . . "Softwareentwicklung." . "Systementwicklung Anwendungssystem Aufsatzsammlung." . . "Génie logiciel." . . "Enginyeria de programari Congressos." . . "Computer Communication Networks." . . "Intel·ligència artificial Congressos." . . "Informatique." . . "Génie logiciel Congrès." . . . . . . . . "To identify the emergent trends in software-intensive and distributed and decentralized computer systems and their impact on the Information Society in the next 10--15 years, the European Commission has established two Coordinated Actions: Initially the project `Beyond the Horizon' and then, starting in 2006, the project `InterLink'. This state-of-the-art survey presents the results of three workshops of the InterLink working group on software-intensive systems and novel computing paradigms. The objective was to imagine the landscape in which next generations of software-intensive systems will operate and the challenges they present to computing, software engineering, cognition and intelligence. The volume starts with an overview of the current state of the art and the research missions in engineering software-intensive systems. The remainder of the book consists of 15 invited papers of the working group participants and is structured in three major parts: ensemble engineering, theory and formal methods, and novel computing paradigms. These papers cover a broad spectrum of relevant topics ranging from methods, languages and tools for ensemble engineering, socio-technical and cyber-physical systems, ensembles in urban environments, formal methods and mathematical foundations for ensembles, orchestration languages to disruptive paradigms such as molecular and chemical computing."@en . . . "Conference proceedings"@en . . . . . . . . . . . . . . . . . . . . "Aufsatzsammlung"@en . "Aufsatzsammlung" . . "Software-intensive systems and new computing paradigms : challenges and visions"@en . "Software-intensive systems and new computing paradigms : challenges and visions" . . . . . . . . "Software-intensive systems and new computing paradigms challenges and visions" . . . . "Software-intensive systems and new computing paradigms challenges and visions"@en . . . . . "Software-Intensive Systems and New Computing Paradigms Challenges and Visions" . "Software-Intensive Systems and New Computing Paradigms Challenges and Visions"@en . . . . . . . . . . . . . . . . . . . . . . . . . "Software intensive systems and new computing paradigms challenges and visions" . . . "Electronic books" . "Electronic books"@en . . . . . . . . . . "Llibres electrònics" . . . . . . . . . "Programming Techniques." . .