Ditapis dengan
Self-Stabilizing Systems
Snap-Stabilizing Optimal Binary Search Tree -- Synchronous vs. Asynchronous Unison -- A Snap-Stabilizing DFS with a Lower Space Requirement -- Self-stabilization of Byzantine Protocols -- Self-stabilization with r-Operators Revisited -- Self-stabilization Preserving Compiler -- Self-stabilizing Mobile Node Location Management and Message Routing -- Memory Management for Self-stabilizing Operati…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540321231
- Deskripsi Fisik
- X, 229 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Reliable Software Technology – Ada-Europe 2005
Applications -- ILTIS – The Legacy of a Successful Product -- A Reference Control Architecture for Service Robots Implemented on a Climbing Vehicle -- An Ada Framework for QoS-Aware Applications -- Design and Scheduling Issues -- Efficient Alternatives for Implementing Fixed-Priority Schedulers -- A New Strategy for the HRT-HOOD to Ada Mapping -- Using the AADL to Describe Distributed Applica…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540316664
- Deskripsi Fisik
- XVI, 276 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Principles of Distributed Systems
Invited Session I -- Protocol System Integration, Interface and Interoperability -- Session I (Design of Distributed Systems I) -- DART: Distributed Automated Regression Testing for Large-Scale Network Applications -- Testing Mobile and Distributed Systems: Method and Experimentation -- A UNITY-Based Framework Towards Component Based Systems -- Session II (Ad-Hoc Networks and Mobile Agents) -- …
- Edisi
- 1st ed. 2
- ISBN/ISSN
- 9783540315841
- Deskripsi Fisik
- XII, 472 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Pervasive Computing
Location Techniques -- Audio Location: Accurate Low-Cost Location Sensing -- Using Sound Source Localization in a Home Environment -- Tracking Locations of Moving Hand-Held Displays Using Projected Light -- Activity and Context -- Bathroom Activity Monitoring Based on Sound -- Simultaneous Tracking and Activity Recognition (STAR) Using Many Anonymous, Binary Sensors -- Enhancing Semantic Spaces…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540320340
- Deskripsi Fisik
- XIV, 350 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Nonlinear Speech Modeling and Applications
Dealing with Nonlinearities in Speech Signals -- Some Notes on Nonlinearities of Speech -- Nonlinear Speech Processing: Overview and Possibilities in Speech Coding -- Signal Processing in a Nonlinear, NonGaussian, and Nonstationary World -- Acoustic-to-Articulatory Modeling of Speech Phenomena -- The Analysis of Voice Quality in Speech Processing -- Identification of Nonlinear Oscillator Models…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540318866
- Deskripsi Fisik
- XIV, 438 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Biomimetic Neural Learning for Intelligent Robots
Towards Biomimetic Neural Learning for Intelligent Robots -- Towards Biomimetic Neural Learning for Intelligent Robots -- I: Biomimetic Multimodal Learning in Neuron-Based Robots -- The Intentional Attunement Hypothesis The Mirror Neuron System and Its Role in Interpersonal Relations -- Sequence Detector Networks and Associative Learning of Grammatical Categories -- A Distributed Model of Spati…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540318965
- Deskripsi Fisik
- IX, 383 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Biometric Systems
An Introduction to Biometric Authentication Systems -- Fingerprint Identification Technology -- Iris Recognition -- Face Recognition -- Elements of Speaker Verification -- Technology Evaluation of Fingerprint Verification Algorithms -- Methods for Assessing Progress in Face Recognition -- The NIST speaker recognition evaluation program -- Large-Scale Identification System Design -- Biometric Sy…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9781846280641
- Deskripsi Fisik
- XIV, 370 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Automated Technology for Verification and Analysis
Keynote Speeches -- Ranking Abstraction as a Companion to Predicate Abstraction -- Termination and Invariance Analysis of Loops -- Some Perspectives of Infinite-State Verification -- Model Checking -- Verifying Very Large Industrial Circuits Using 100 Processes and Beyond -- A New Reachability Algorithm for Symmetric Multi-processor Architecture -- Comprehensive Verification Framework for Depen…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540319696
- Deskripsi Fisik
- XII, 508 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Embedded Software and Systems
Keynote Speeches and Invited Talks Abstracts (Partial) -- Track 1 Distributed Embedded Computing -- Track 2 Embedded Systems -- Track 3 Embedded Hardware and Architecture -- Track 4 Middleware for Embedded Computing -- Track 5 Mobile Systems -- Track 6 Transducer Network -- Track 7 Embedded Operating System -- Track 8 Power-Aware Computing -- Track 9 Real-Time System -- Track 10 Embedded System…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540318231
- Deskripsi Fisik
- XX, 612 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Embedded Software and Systems
Keynote Speech -- Track 1: Embedded Hardware -- Track 2: Embedded Software -- Track 3: Real-Time Systems -- Track 4: Power-Aware Computing -- Track 5: Hardware/Software Co-design and System-On-Chip -- Track 6: Testing and Verification -- Track 7: Reconfigurable Computing -- Track 8: Agent and Distributed Computing -- Track 9: Wireless Communications -- Track 10: Mobile Computing -- Track 11: Pe…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540322979
- Deskripsi Fisik
- XXVIII, 784 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Karya Umum 
Filsafat 
Agama 
Ilmu-ilmu Sosial 
Bahasa 
Ilmu-ilmu Murni 
Ilmu-ilmu Terapan 
Kesenian, Hiburan, dan Olahraga 
Kesusastraan 
Geografi dan Sejarah