Ditapis dengan
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
- -
Distributed Computing in Sensor Systems
Invited Talks -- Algorithmic Problems in Ad Hoc Networks -- Five Challenges in Wide-Area Sensor Systems -- Challenges in Programming Sensor Networks -- Regular Papers -- Distributed Proximity Maintenance in Ad Hoc Mobile Networks -- Adaptive Triangular Deployment Algorithm for Unattended Mobile Sensor Networks -- An Adaptive Blind Algorithm for Energy Balanced Data Propagation in Wireless Senso…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540316718
- Deskripsi Fisik
- XV, 423 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Distributed Computing – IWDC 2005
Keynote Talk I -- Distributed Coordination Algorithms for Mobile Robot Swarms: New Directions and Challenges -- Session I A: Theory -- Labeling Schemes for Tree Representation -- Single-Bit Messages Are Insufficient in the Presence of Duplication -- Safe Composition of Distributed Programs Communicating over Order-Preserving Imperfect Channels -- Efficiently Implementing LL/SC Objects Shared by…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540324287
- Deskripsi Fisik
- XXII, 590 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Distributed Computing -- IWDC 2004
Keynote Talk I -- The Next Chapter in Networking Research: Evolutionary or Revolutionary? -- Session I A: Distributed Algorithms -- Performance of Fair Distributed Mutual Exclusion Algorithms -- A Framework for Automatic Identification of the Best Checkpoint and Recovery Protocol -- Distributed Computation for Swapping a Failing Edge -- Flexible Cycle Synchronized Algorithm in Parallel and Dist…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540305361
- Deskripsi Fisik
- XIX, 546 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Distributed Applications and Interoperable Systems
Towards Real-Time Middleware for Applications of Vehicular Ad Hoc Networks -- Towards Real-Time Middleware for Applications of Vehicular Ad Hoc Networks -- Adaptive Context Management Using a Component-Based Approach -- Customised Billing for Location-Based Services -- Interoperability Architectures -- Loosely-Coupled Integration of CSCW Systems -- Interoperability and eServices -- Model-Driven…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540315827
- Deskripsi Fisik
- XI, 235 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Distributed and Parallel Systems
Grid Systems -- Glogin - Interactive Connectivity for the Grid -- Parallel Program Execution Support in the Jgrid System -- VL-E: Approaches to Design a Grid-Based Virtual Laboratory -- Scheduling and Resource Brokering within the Grid Visualization Kernel -- Cluster Technology -- Message Passing vs. Virtual Shared Memory A Performance Comparison -- MPI-I/O with a Shared File Pointer Using a Pa…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9780387230962
- Deskripsi Fisik
- XI, 211 p. 48 illus.online resource.
- Judul Seri
- -
- No. Panggil
- -
New Horizons of Parallel and Distributed Computing
Programming Models and Support Tools -- Flexible Message Passing Interface for A Heterogenous Computing Environment -- GOP: A Graph-Oriented Programming Model for Parallel and Distributed Systems -- Programming Cellular Automata-Like Systems in a Multimedia Parallel Environment -- Algorithms -- Vector-Parallel Algorithms for 1-Dimensional Fast Fourier Transform -- Towards Solving NP-Complete Pr…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9780387289670
- Deskripsi Fisik
- XIV, 333 p. 136 illus.online resource.
- Judul Seri
- -
- No. Panggil
- -
Architecting Dependable Systems III
1. Architectures for Dependable Services -- Semantics-Aware Services for the Mobile Computing Environment -- The Role of Agreements in IT Management Software -- Toward Undoing in Composite Web Services -- Architecting Web Services Applications for Improving Availability -- Dependable Composite Web Services with Components Upgraded Online -- 2. Monitoring and Reconfiguration in Software Architec…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540316480
- Deskripsi Fisik
- XIV, 343 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Applied Cryptography and Network Security
Two-Server Password-Only Authenticated Key Exchange -- Strengthening Password-Based Authentication Protocols Against Online Dictionary Attacks -- Cryptanalysis of an Improved Client-to-Client Password-Authenticated Key Exchange (C2C-PAKE) Scheme -- Efficient Security Mechanisms for Overlay Multicast-Based Content Distribution -- A Traitor Tracing Scheme Based on RSA for Fast Decryption -- N-Par…
- Edisi
- 1st ed. .
- ISBN/ISSN
- 9783540315421
- Deskripsi Fisik
- XII, 530 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Applications and Theory of Petri Nets 2005
Invited Papers -- Expressiveness and Efficient Analysis of Stochastic Well-Formed Nets -- Applications of Craig Interpolation to Model Checking -- Towards an Algebra for Security Policies -- Continuization of Timed Petri Nets: From Performance Evaluation to Observation and Control -- Full Papers -- Genetic Process Mining -- The (True) Concurrent Markov Property and Some Applications to Markov N…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540315599
- Deskripsi Fisik
- XI, 475 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