close
1.

図書

図書
Hartmut Schmeck, Theo Ungerer, Lars Wolf (eds.)
出版情報: Berlin : Springer, c2002  xiv, 286 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2299
所蔵情報: loading…
目次情報: 続きを見る
Invited Program
Keynote Communicating Cars: A Case for Ubiquitous Computing in the Automotive Domain / Ralf Guido Herrtwich
Keynote Microprocessor Architectures for the Mobile Internet Era / Marc Fleischmann
Context-Aware Systems / I:
An Architecture for the Integration of Physical and Informational Spaces / Scott M. Thayer ; Peter Steenkiste
A Context System for a Mobile Service Platform / Fritz Hohl ; Lars Mehrmann ; Amen Hamdan
Detecting Context in Distributed Sensor Networks by Using Smart Context-Aware Packets / Florian Michahelles ; Michael Samulowitz ; Bernt Schiele
System Aspects / II:
A Ubiquitous Control Architecture for Low Power Systems / James ôWezö Weatherall ; Duncan Grisby
Software Architecture-Based Adaptation for Pervasive Systems / Shang-Wen Cheng ; David Garlan ; Bradley Schmerl ; Joao Pedro Sousa ; Bridget Spitznagel ; Ningning Hu
KECho - Event Communication for Distributed Kernel Services / Christian Poellabauer ; Karsten Schwan ; Greg Eisenhauer ; Jiantao Kong
Networking 1 / III:
A Fine-Grained Addressing Concept for GeoCast / Peter Coschurba ; Kurt Rothermel ; Frank Durr
Data Paths in Wearable Communication Networks / Christian Decker ; Michael Beigl
Location and Network Quality Issues in Local Area Wireless Networks / Georgi Tonev ; Vaidy Sunderam ; Roger Loader ; James Pascoe
Processor Architecture / IV:
Design Tradeoffs for Embedded Network Processors / Tilman Wolf ; Mark A. Franklin
Reconfigurable RISC - A New Approach for Space-Efficient Superscalar Microprocessor Architecture / Sascha Wennekers ; Christian Siemers
Cached Two-Level Adaptive Branch Predictors with Multiple Stages / Colin Egan ; Gordon Steven ; Lucian Vintan
Middleware and Verification / V:
On the Combination of Assertions and Virtual Prototyping for the Design of Safety-Critical Systems / Tim Oodes ; Holger Krisp ; Christian Muller-Schloer
Ubiquitous Access to Wide-Area High-Performance Computing / Frank Burchert ; Stephan Gatzka ; Christian Hochberger ; Chang-Kun Lee ; Ulrike Lucke ; Djamshid Tavangarian
Filter Similarities in Content-Based Publish/Subscribe Systems / Gero Muhl ; Ludger Fiege ; Alejandro Buchmann
Networking 2 / VI:
A Bluetooth Remote Control System / Fridtjof Feldbusch ; Alexander Paar ; Manuel Odendahl ; Ivan Ivanov
Rendezvous Layer Protocols for Bluetooth-Enabled Smart Devices / Frank Siegemund ; Michael Rohs
A Robust Header Compression Simulator & Visualizer / Xiaoyuan Gu ; Hannes Hartenstein ; Stefan Fischer
Author Index
Invited Program
Keynote Communicating Cars: A Case for Ubiquitous Computing in the Automotive Domain / Ralf Guido Herrtwich
Keynote Microprocessor Architectures for the Mobile Internet Era / Marc Fleischmann
2.

図書

図書
Laurence T. Yang ... [et al.] (eds.)
出版情報: Berlin : Springer, 2006  xvi, 613 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 4158
所蔵情報: loading…
3.

図書

図書
Christian Müller-Schloer, Theo Ungerer, Bernhard Bauer (eds.)
出版情報: Berlin ; Tokyo : Springer, c2004  xi, 337 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2981
所蔵情報: loading…
4.

電子ブック

EB
Jadwiga Indulska, Jiannong Cao, Takeo Kanade, Jianhua Ma, Theo Ungerer, Laurence T. Yang
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
5.

電子ブック

EB
Uwe Brinkschulte, Christian Hochberger, Rainer G. Spallek, Theo Ungerer
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
6.

電子ブック

EB
Laurence T. Yang, Hai Jin, Takeo Kanade, Jianhua Ma, Theo Ungerer, Laurence Tianruo Yang
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
7.

電子ブック

EB
Christian Müller-Schloer, Christian Muller-Schloer, Hartmut Schmeck, Theo Ungerer
出版情報: Springer eBooks Computer Science , Springer Basel, 2011
所蔵情報: loading…
目次情報: 続きを見る
Theoretical Foundations / Chapter 1:
Adaptivity and Self-organisation in Organic Computing Systems / Hartmut Schmeck ; Christian Müller-Schloer ; Emre Çakar ; Moez Mnif ; Urban Richter1.1:
Quantitative Emergence / 1.2:
Divergence Measures as a Generalised Approach to Quantitative Emergence / Dominik Fisch ; Martin Jänicke ; Bernhard Sick1.3:
Emergent Control / Peter Kreyssig ; Peter Dittrich1.4:
Constraining Self-organisation Through Corridors of Correct Behaviour: The Restore Invariant Approach / Florian Nafz ; Hella Seebach ; Jan-Philipp Steghöfer ; Gerrit Anders ; Wolfgang Reif1.5:
Ant Inspired Methods for Organic Computing / Alexander Scheidler ; Arne Brutschy ; Konrad Diwold ; Daniel Merkle ; Martin Middendorf1.6:
Organic Computing: Metaphor or Model? / Mathias Gutmann ; Benjamin Rathgeber ; Tareq Syed1.7:
Methods and Tools / Chapter 2:
Model-Driven Development of Self-organising Control Applications / Helge Parzyjegla ; Arnd Schröter ; Enrico Seib ; Sebastian Holzapfel ; Matthäus Wander ; Jan Richling ; Arno Wacker ; Hans-Ulrich Heiβ ; Gero Mühl ; Torben Weis2.1:
How to Design and Implement Self-organising Resource-Flow Systems / 2.2:
Monitoring and Self-awareness for Heterogeneous, Adaptive Computing Systems / David Kramer ; Rainer Buchty ; Wolfgang Karl2.3:
Generic Emergent Computing in Chip Architectures / Marc Reichenbach ; Ralf Seidler ; Dietmar Fey ; Benjamin Pfundt2.4:
Multi-objective Intrinsic Evolution of Embedded Systems / Paul Kaufmann ; Marco Platzner2.5:
Organisation-Oriented Chemical Programming / Naoki Matsumaru2.6:
Hovering Data Clouds for Organic Computing / Sebastian Ebers ; Sándor P. Fekete ; Stefan Fischer ; Horst Hellbrück ; Björn Hendriks ; Axel Wegener2.7:
Learning / Chapter 3:
Aspects of Learning in OC Systems / Emre Cakar ; Nugroho Fredivianus ; Jörg Hähner ; Jürgen Branke3.1:
Combining Software and Hardware LCS for Lightweight On-chip Learning / Andreas Bernauer ; Johannes Zeppenfeld ; Oliver Bringmann ; Andreas Herkersdorf ; Wolfgang Rosenstiel3.2:
Collaborative Learning by Knowledge Exchange / Edgar Kalkowski3.3:
A Framework for Controlled Self-optimisation in Modular System Architectures / Werner Brockmann ; Nils Rosemann ; Erik Maehle3.4:
Increasing Learning Speed by Imitation in Multi-robot Societies / Alexander Jungmann ; Bernd Kleinjohann ; Willi Richert3.5:
Learning to Look at Humans / Thomas Walther ; Rolf P. Würtz3.6:
Architectures / Chapter 4:
Observation and Control of Organic Systems / Sven Tomforde ; Holger Prothmann4.1:
Organic Computing Middleware for Ubiquitous Environments / Michael Roth ; Julia Schmitt ; Rolf Kiefhaber ; Florian Kluge ; Theo Ungerer4.2:
DodOrg-A Self-adaptive Organic Many-core Architecture / Thomas Ebi ; Christian Schuck ; Alexander von Renteln ; Jürgen Becker ; Uwe Brinkschulte ; Jörg Henkel4.3:
The Artificial Hormone System-An Organic Middleware for Self-organising Real-Time Task Allocation / Mathias Pacher4.4:
ORCA: An Organic Robot Control Architecture / Karl-Erwin Grosspietsch ; Bojan Jakimovski4.5:
The EPOC Architecture-Enabling Evolution Under Hard Constraints / Moritz Neukirchner ; Steffen Stein ; Rolf Ernst4.6:
Autonomic System on Chip Platform / Abdelmajid Bouajila ; Walter Stechele4.7:
Applications / Chapter 5:
Organic Traffic Control / 5.1:
Methods for Improving the Flow of Traffic / Christopher Tessars5.2:
Applying ASoC to Multi-core Applications for Workload Management / 5.3:
Efficient Adaptive Communication from Resource-Restricted Transmitters / Stephan Sigg ; Michael Beigl ; Behnam Banitalebi5.4:
OrganicBus: Organic Self-organising Bus-Based Communication Systems / Tobias Ziermann ; Stefan Wildermann ; Jürgen Teich5.5:
OC Principles in Wireless Sensor Networks / Jakob Salzmann ; Ralf Behnke ; Dirk Timmermann5.6:
Application of the Organic Robot Control Architecture ORCA to the Six-Legged Walking Robot OSCAR / Adam El Sayed Auf ; Stephan Krannich ; Marek Litza ; Raphael Maas ; Ahmad Al-Homsy5.7:
Energy-Awareness in Self-organising Robotic Exploration Teams / Bastian Degener ; Barbara Kempkes ; Friedhelm Meyer auf der Heide5.8:
A Fast Hierarchical Learning Approach for Autonomous Robots / 5.9:
Emergent Computing with Marching Pixels for Real-Time Smart Camera Applications / Marcus Komann5.10:
Status and Outlook / Chapter 6:
OC Techniques Applied to Solve Reliability Problems in Future 1000-Core Processors / Arne Garbade ; Sebastian Weis ; Sebastian Schlingmann6.1.1:
Dynamic Classification for Embedded Real-Time Systems / Jörg Mische6.1.2:
On the Future of Chemistry-Inspired Computing / 6.1.3:
Agent-Based Thermal Management for Multi-core Architectures / Janmartin Jahn6.1.4:
Trust Management-Handling Uncertainties in Embedded Systems / Andreas Buschermöhle ; Jens Hülsmann6.1.5:
OC-Trust: Towards Trustworthy Organic Computing Systems / 6.1.6:
Emergence in Action / Matthias Werner ; Hans-Ulrich Heiss6.1.7:
Organic Computing in Off-highway Machines / Sanaz Mostaghim ; Micaela Wünsche ; Marcus Geimer ; Timo Kautzmann6.1.8:
Decentralised Energy Management for Smart Homes / Florian Allerding ; Birger Becker6.1.9:
Self-organising Distributed Smart Camera Systems / Michael Wittke6.1.10:
Organic Network Control / Bjorn Hurling6.1.11:
Organic Computing: Quo vadis? / 6.2:
Theoretical Foundations / Chapter 1:
Adaptivity and Self-organisation in Organic Computing Systems / Hartmut Schmeck ; Christian Müller-Schloer ; Emre Çakar ; Moez Mnif ; Urban Richter1.1:
Quantitative Emergence / 1.2:
8.

電子ブック

EB
Per Stenström, Michel Dubois, Rajiv Gupta, Takeo Kanade, Manolis Katevenis, Theo Ungerer
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
9.

電子ブック

EB
Koen Bosschere, Koen de Bosschere, David Kaeli, Per Stenström, Theo Ungerer, David Whalley
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
10.

電子ブック

EB
Sang Lyul Min, Takeo Kanade, Robert Pettit, Peter Puschner, Theo Ungerer
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Invited Program
Component-Based Design of Embedded Systems (Abstract) / Hermann Kopetz
AUTOSAR Appropriates Functional Safety and Multi-core Exploitation (Abstract) / Bert Böddeker ; Rafael Zalman
Hardware
Chip-Size Evaluation of a Multithreaded Processor Enhanced with a PID Controller / Michael Bauer ; Mathias Pacher ; Uwe Brinkschulte
Crash Recovery in FAST FTL / Sungup Moon ; Sang-Phil Lim ; Dong-Joo Park ; Sang-Won Lee
Real-Time-Systems
Time-Predictable Computing / Raimund Kirner ; Peter Puschner
OTAWA: An Open Toolbox for Adaptive WCET Analysis / Clément Ballabriga ; Hugues Cassé ; Christine Rochange ; Pascal Sainrat
Ubiquitous Verification of Ubiquitous Systems / Reinhard Wilhelm ; Matteo Maffei
Model-Based Design and Model-Checking
A Model-Based Design Methodology with Contracts to Enhance the Development Process of Safety-Critical Systems / Andreas Baumgart ; Philipp Reinkemeier ; Achim Rettberg ; Ingo Stierand ; Eike Thaden ; Raphael Weber
Combining Ontology Alignment with Model Driven Engineering Techniques for Home Devices Interoperability / Charbel El Kaed ; Yves Denneulin ; François-Gaë Ottogalli ; Luis Felipe Melo Mora
Rewriting Logic Approach to Modeling and Analysis of Client Behavior in Open Systems / Shin Nakajima ; Masaki Ishiguro ; Kazuyuki Tanaka
Sensor Nets
A Model-Driven Software Development Approach Using OMG DDS for Wireless Sensor Networks / Kai Beckmann ; Marcus Thoss
Reactive Clock Synchronization for Wireless Sensor Networks with Asynchronous Wakeup Scheduling / Sang Hoon Lee ; Yunmook Nah ; Lynn Choi
On the Schedulability Analysis for Dynamic QoS Management in Distributed Embedded Systems / Luís Almeida ; Ricardo Marau ; Karthik Lakshmanan ; Raj Rajkumar
Error Detection and System Failures
Error Detection Rate of MC/DC for a Case Study from the Automotive Domain / Susanne Kandl
Simultaneous Logging and Replay for Recording Evidences of System Failures / Shuichi Oikawa ; Jin Kawasaki
Hard Real-Time
Code Generation for Embedded Java with Ptolemy / Martin Schoeberl ; Christopher Brooks ; Edward A. Lee
Specification of Embedded Control Systems Behaviour Using Actor Interface Automata / Christo Angelov ; Feng Zhou ; Krzysztof Sierszecki
Building a Time- and Space- Partitioned Architecture for the Next Generation of Space Vehicle Avionics / José Rufino ; João Craveiro ; Paulo Verissimo
Middleware and Smart Spaces
EMWF: A Middleware for Flexible Automation and Assistive Devices / Ting-Shuo Chou ; Yu Chi Huang ; Yung Chun Wang ; Wai-Chi Chen ; Chi-Sheng Shih ; Jane W.S. Liu
An Investigation on Flexible Communications in Publish/Subscribe Services / Christian Esposito ; Domenico Cotroneo ; Stefano Russo
Mobile Agents for Digital Signage / Ichiro Satoh
Function Composition and Task Mapping
Composition Kernel: A Multi-core Processor Virtualization Layer for Rich Functional Smart Products / Tatsuo Nakajima ; Yuki Kinebuchi ; Alexandre Courbot ; Hiromasa Shimada ; Tsung-Han Lin ; Hitoshi Mitake
Mobile Phone Assisted Cooperative On-Node Processing for Physical Activity Monitoring / Robert Diemer ; Samarjit Chakraborty
Author Index
Invited Program
Component-Based Design of Embedded Systems (Abstract) / Hermann Kopetz
AUTOSAR Appropriates Functional Safety and Multi-core Exploitation (Abstract) / Bert Böddeker ; Rafael Zalman
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼