Ditapis dengan
Embedded Systems Design
Hard Real-Time Development Environments -- Executive Overview on Hard Real-Time Development Environments -- Hard Real-Time System Development -- Current Design Practice and Needs in Selected Industrial Sectors -- Tools for Requirements Capture and Exploration -- Tools for Architecture Design and Capture -- Tools for Programming, Code Generation, and Design -- Tools for Verification and Validati…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540319733
- Deskripsi Fisik
- XVI, 496 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Switching and Learning in Feedback Systems
Switching and Control -- From Feedback Control to Complexity Management: A Personal Perspective -- Convex Cones, Lyapunov Functions, and the Stability of Switched Linear Systems -- Survey of Explicit Approaches to Constrained Optimal Control -- Gaussian Processes -- Analysis of Some Methods for Reduced Rank Gaussian Process Regression -- Filtered Gaussian Processes for Learning with Large Data-…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540305606
- Deskripsi Fisik
- X, 346 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Virtual Storytelling. Using Virtual Reality Technologies for Storytelling
Virtual Reality Technologies -- Virtual Reality Technology and Museum Exhibit -- A Context-Based Storytelling with a Responsive Multimedia System (RMS) -- FELIX 3D Display: Human-Machine Interface for Interactive Real Three-Dimensional Imaging -- Proposing Daily Visual Feedback as an Aide to Reach Personal Goals -- Sound Navigation in PHASE Installation: Producing Music as Performing a Game Usi…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540322856
- Deskripsi Fisik
- XII, 292 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Hybrid Systems: Computation and Control
Invited Papers -- Coordinated Control for Highly Reconfigurable Systems -- Operational Semantics of Hybrid Systems -- SOS Methods for Semi-algebraic Games and Optimization -- Regular Papers -- The Discrete Time Behavior of Lazy Linear Hybrid Automata -- Perturbed Timed Automata -- A Homology Theory for Hybrid Systems: Hybrid Homology -- Observability of Switched Linear Systems in Continuous Tim…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540319542
- Deskripsi Fisik
- XII, 684 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Formal Modeling and Analysis of Timed Systems
Invited Talk -- Modular Performance Analysis of Distributed Embedded Systems -- Logic and Specification -- Real Time Temporal Logic: Past, Present, Future -- Translating Timed I/O Automata Specifications for Theorem Proving in PVS -- Specification and Refinement of Soft Real-Time Requirements Using Sequence Diagrams -- Times Games and Synthesis -- On Optimal Timed Strategies -- Average Reward T…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540316169
- Deskripsi Fisik
- IX, 305 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Information Processing and Security Systems
Digital Image and Signal Processing -- Fourier Descritpor-Based Deformable Models for Segmentation of the Distal Femur in CT -- Hierarchical Segmentation of Sparse Surface Data Using Energy-Minimization Approach -- Interactive Real-time Image Analysis System for Distant Operation -- Analysis/Synthesis Speech Model Based on the Pitch-Tracking Periodic-Aperiodic Decomposition -- Bio-inspired voic…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9780387263250
- Deskripsi Fisik
- X, 475 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Information Security Applications
Network/Computer Security -- Impacts of Security Protocols on Real-Time Multimedia Communications -- An Improvement on Privacy and Authentication in GSM -- Encrypted Watermarks and Linux Laptop Security -- Inconsistency Detection of Authorization Policies in Distributed Component Environment -- Public Key Schemes I -- Custodian-Hiding Verifiable Encryption -- Proving Key Usage -- Public Key Enc…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540318156
- Deskripsi Fisik
- XII, 472 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Ubiquitous Computing Systems
Invited Talks -- The Pervasive Sensor -- From Everyday Things to Everyday Memories: Two Kinds of Interactions with Objects in a House -- Location-aware Computing -- Design, Implementation and Evaluations of a Direction Based Service System for Both Indoor and Outdoor -- Designing Transparent Location-Dependent Web-Based Applications on Mobile Environments -- Position Tracking Using Infra-Red Si…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540318095
- Deskripsi Fisik
- XIV, 278 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Event-Triggered and Time-Triggered Control Paradigms
Basic Concepts and Related Work -- Requirements of an Integrated Architecture -- Integrated System Architecture for Event-Triggered and Time-Triggered Control Paradigms -- Controller Area Network Emulation in the Time-Triggered Architecture -- Results and Validation -- Conclusion.Event-Triggered and Time-Triggered Control Paradigms presents a valuable survey about existing architectures for saf…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9780387230443
- Deskripsi Fisik
- X, 153 p. 46 illus.online resource.
- Judul Seri
- -
- No. Panggil
- -
Software Agent-Based Applications, Platforms and Development Kits
The JADE Platform and Experiences with Mobile MAS Applications -- A-globe: Agent Development Platform with Inaccessibility and Mobility Support -- Supporting Agent Development in Erlang through the eXAT Platform -- Living Systems® Technology Suite -- Multi Agent System Development Kit -- An Integrated Development Environment for Electronic Institutions -- Jadex: A BDI-Agent System Combining Mi…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783764373481
- Deskripsi Fisik
- XII, 451 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