Ditapis dengan
Dependable Computing - EDCC 2005
Keynote I -- A Process Toward Total Dependability – Airbus Fly-by-Wire Paradigm -- Session 1A: Distributed Algorithms -- Building and Using Quorums Despite any Number of Process of Crashes -- Failure Detection with Booting in Partially Synchronous Systems -- Total Order Communications: A Practical Analysis -- Gracefully Degrading Fair Exchange with Security Modules -- Session 1B: Fault Tolera…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540320197
- Deskripsi Fisik
- XVI, 480 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Dependable Computing
Invited Talks -- Probabilistic Validation of Computer System Survivability -- Timed Asynchronous Distributed Systems -- WLAN in Automation – More Than an Academic Exercise? -- Evaluation -- Using Stratified Sampling for Fault Injection -- A Methodology for the Automated Identification of Buffer Overflow Vulnerabilities in Executable Software Without Source-Code -- Quantitative Evaluation of D…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540320920
- Deskripsi Fisik
- XV, 267 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Constituents of Modern System-safety Thinking
Independent Safety Assessment -- The IEE/BCS Independent Safety Assurance Working Group -- Putting Trust into Safety Arguments -- Independent Safety Assessment of Safety Arguments -- Safety and Security -- Structuring a Safety Case for an Air Traffic Control Operations Room -- SafSec: Commonalities Between Safety and Security Assurance -- Accident Investigation -- Learning from a Train Derailme…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9781846281303
- Deskripsi Fisik
- X, 226 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
NETWORKING 2005. Networking Technologies, Services, and Protocols; Performanc…
Peer-to-Peer Networks -- Performance of Internet Protocols I -- Wireless Security -- Network Security -- Wireless Performance -- Network Service Support -- Network Modeling and Simulations -- Wireless LANs -- Optical Networking -- Performance of Internet & Web Applications -- Ad Hoc Networks I -- Adaptive Networking -- Performance of Internet Protocols II -- Radio Resource Management -- Interne…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540320173
- Deskripsi Fisik
- LX, 1487 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Functional Verification of Programmable Embedded Architectures
to Functional Verification -- Architecture Specification -- Architecture Specification -- Validation of Specification -- Top-Down Validation -- Executable Model Generation -- Design Validation -- Functional Test Generation -- Future Directions -- Conclusions.Validation of programmable architectures, consisting of processor cores, coprocessors, and memory subsystems, is one of the major bottlene…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9780387263991
- Deskripsi Fisik
- XIX, 180 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Control Reconfiguration of Dynamical Systems
Introduction to Control Reconfiguration -- Literature Overview -- Part I. Reconfiguration Problem -- Running Example: the 2-Tank System -- General Reconfiguration Problem -- Part II. Linear Solution Approaches -- Direct Reconfiguration Using a Static Block -- Reconfiguration Using a Virtual Sensor -- Reconfiguration Using a Virtual Actuator -- Reconfiguration with Set-Point Tracking -- Reconfig…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540315865
- Deskripsi Fisik
- XIV, 270 p. 126 illus.online resource.
- Judul Seri
- -
- No. Panggil
- -
Computational Intelligence, Networked Systems and Their Applications
Advanced neural network theory and algorithms -- Advanced evolutionary computing theory and algorithms, such as particle swarm optimization, differential evolution, ant colonies, artificial life, artificial immune systems and genetic algorithm -- Fuzzy, neural, and fuzzy-neuro hybrids -- Intelligent modeling, monitoring, and control of complex nonlinear systems -- Intelligent modeling and simul…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783662452615
- Deskripsi Fisik
- XVI, 588 p. 235 illus. online resource
- Judul Seri
- -
- No. Panggil
- -
Advances in Natural Multimodal Dialogue Systems
Natural and Multimodal Interactivity Engineering - Directions and Needs -- Natural and Multimodal Interactivity Engineering - Directions and Needs -- Making Dialogues More Natural: Empirical Work and Applied Theory -- Social Dialongue with Embodied Conversational Agents -- A First Experiment in Engagement for Human-Robot Interaction in Hosting Activities -- Annotation and Analysis of Multimodal…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9781402039331
- Deskripsi Fisik
- XII, 376 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Intelligent Document Retrieval
Related Work -- Data Analysis and Domain Model Construction -- Incorporating Additional Knowledge -- A Dialogue System for Partially Structured Data -- UKSearch - Intelligent Web Search -- UKSearch - Evaluation and Discussion -- YPA - Searching Classified Directories -- Future Directions and Conclusions.Collections of digital documents can nowadays be found everywhere in institutions, universit…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9781402037689
- Deskripsi Fisik
- XVI, 198 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Performance Evaluation and Planning Methods for the Next Generation Internet
Design of IP Networks with End-To-End Performance Guarantees -- Design of IP Virtual Private Networks under End-To-End QoS Constraints -- Design of Protected Working Capacity Envelopes Based on p-Cycles: An Alternative Framework for Survivable Automated Lightpath Provisioning -- Network Traffic Engineering with Varied Levels of Protection in the Next Generation Internet -- Balancing Traffic Flo…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9780387255514
- Deskripsi Fisik
- XVI, 365 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