Ditapis dengan
Service Availability
TTA Supported Service Availability -- The Value of Conformance Testing and a Look at the SAF Test Project -- Building Highly Available Application Using SA Forum Cluster: A Case Study of GGSN Application -- Using Logical Data Protection and Recovery to Improve Data Availability -- Contract-Based Web Service Composition Framework with Correctness Guarantees -- Practical Approach to Specification…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540320180
- Deskripsi Fisik
- VIII, 216 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Service Availability
ISAS 2004 -- Architecture of Highly Available Databases -- Data Persistence in Telecom Switches -- Distributed Redundancy or Cluster Solution? An Experimental Evaluation of Two Approaches for Dependable Mobile Internet Services -- OpenHPI: An Open Source Reference Implementation of the SA Forum Hardware Platform Interface -- Quality of Service Control by Middleware -- Benefit Evaluation of High…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540302254
- Deskripsi Fisik
- X, 218 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Security in Ad-hoc and Sensor Networks
New Research Challenges for the Security of Ad Hoc and Sensor Networks -- Public Key Cryptography in Sensor Networks—Revisited -- Exploring Message Authentication in Sensor Networks -- Secure Initialization in Single-Hop Radio Networks -- Some Methods for Privacy in RFID Communication -- Ring Signature Schemes for General Ad-Hoc Access Structures -- Linking Ad Hoc Charging Schemes to AAAC Arc…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540304968
- Deskripsi Fisik
- VIII, 231 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Security and Privacy in Ad-hoc and Sensor Networks
Efficient Verifiable Ring Encryption for Ad Hoc Groups -- SKiMPy: A Simple Key Management Protocol for MANETs in Emergency and Rescue Operations -- Remote Software-Based Attestation for Wireless Sensors -- Spontaneous Cooperation in Multi-domain Sensor Networks -- Authenticated Queries in Sensor Networks -- Improving Sensor Network Security with Information Quality -- One-Time Sensors: A Novel …
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540316152
- Deskripsi Fisik
- VIII, 219 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Secure Group Communications Over Data Networks
Typical Group Key Management Schemes -- Tree Based Key Management Schemes -- Dynamic Conferencing Schemes -- Secure Group Communications with Hierarchical Access Control -- SGC Challenges and SGC for Wireless Networks -- Concluding Remarks.This book provides a concise survey of principles and state-of-the-art techniques for secure group communications (SGC) over data networks. It offers an over…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9780387229713
- Deskripsi Fisik
- XIX, 172 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Time‒Frequency and Time‒Scale Methods
Wavelets: Basic properties, parameterizations and sampling -- Derivatives and multiwavelets -- Sampling in Fourier and wavelet analysis -- Bases for time-frequency analysis -- Fourier uncertainty principles -- Function spaces and operator theory -- Uncertainty principles in mathematical physics.Developed in this book are several deep connections between time--frequency (Fourier/Gabor) analysis …
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9780817644314
- Deskripsi Fisik
- XXII, 390 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Theory of Random Sets
Random Closed Sets and Capacity Functionals -- Expectations of Random Sets -- Minkowski Addition -- Unions of Random Sets -- Random Sets and Random Functions. Appendices: Topological Spaces -- Linear Spaces -- Space of Closed Sets -- Compact Sets and the Hausdorff Metric -- Multifunctions and Continuity -- Measures and Probabilities -- Capacities -- Convex Sets -- Semigroups and Harmonic Analys…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9781846281501
- Deskripsi Fisik
- XVI, 488 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Biomimicry for Optimization, Control, and Automation
Challenges in Computer Control and Automation -- Scientific Foundations for Biomimicry -- For Further Study -- Elements of Decision Making -- Neural Network Substrates for Control Instincts -- Rule-Based Control -- Planning Systems -- Attentional Systems -- For Further Study -- Learning -- Learning and Control -- Linear Least Squares Methods -- Gradient Methods -- Adaptive Control -- For Furthe…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9781846280696
- Deskripsi Fisik
- XXXI, 926 p. 365 illus.online resource.
- Judul Seri
- -
- No. Panggil
- -
Assertion-Based Design
Assertion Methodology -- Specifying RTL Properties -- PLI-Based Assertions -- Functional Coverage -- Assertion Patterns -- Assertion Cookbook -- Specifying Correct Behavior.Chapter 3 Specifying RTL Properties 61 3. 1 Definitions and concepts 62 62 3. 1. 1 Property 3. 1. 2 Events 65 3. 2 Property classification 65 Safety versus liveness 66 3. 2. 1 3. 2. 2 Constraint versus assertion 67 3. 2. 3 D…
- Edisi
- 2nd ed.
- ISBN/ISSN
- 9781402080289
- Deskripsi Fisik
- XXIII, 390 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Applied Fuzzy Arithmetic
to Fuzzy Arithmetic -- The Theory of Fuzzy Sets -- Elementary Fuzzy Arithmetic -- Standard Fuzzy Arithmetic -- Advanced Fuzzy Arithmetic — The Transformation Method -- Addition to Fuzzy Arithmetic -- Applications in the Engineering Sciences -- Mechanical Engineering -- Geotechnical Engineering -- Biomedical Engineering -- Control Engineering.Applied Fuzzy Arithmetic provides a well-structured…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540273172
- Deskripsi Fisik
- XIII, 256 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