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
- -
Embedded and Ubiquitous Computing - EUC 2005 Workshops
The Second International Symposium on Ubiquitous Intelligence and Smart Worlds (UISW 2005) -- IFIP International Symposium on Network-Centric Ubiquitous Systems (NCUS 2005) -- The First International Workshop on Security in Ubiquitous Computing Systems (SecUbiq 2005) -- The 1st International Workshop on RFID and Ubiquitous Sensor Networks (USN 2005) -- The International Workshop on Trusted and …
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540322962
- Deskripsi Fisik
- XXXII, 1317 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Embedded and Ubiquitous Computing - EUC 2005
Keynote -- Embedded Hardware -- Embedded Software -- Real-Time Systems -- Power-Aware Computing -- H/S Co-design and Systems-on-Chip -- Testing and Verification -- Reconfigurable Computing -- Agent and Distributed Computing -- Wireless Communications -- Mobile Computing -- Multimedia, HCI and Pervasive Computing -- Network Protocol, Security and Fault-Tolerance -- Middleware and P2P Computing.W…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540322955
- Deskripsi Fisik
- XXIII, 1204 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
E-Business@Print
Introduction -- New Products and Services -- Process Efficiency through Customer Integration -- Data Format Standards -- PDF/X-3 -- JDF -- XML -- Process Efficiency through Self Service: Self-Directed Customers -- Online Calculation -- Placing Orders Online -- Remote Preflight -- Web Printing -- Order Tracking -- Archiving Orders and Offerings -- Stock Reporting Systems -- Online Ordering Syste…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540275299
- Deskripsi Fisik
- XI, 121 p. 94 illus. in color.online resource.
- Judul Seri
- -
- No. Panggil
- -
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
- -
Data and Applications Security XIX
Streams, Security and Scalability -- Towards Privacy-Enhanced Authorization Policies and Languages -- Revocation of Obligation and Authorisation Policy Objects -- Role Slices: A Notation for RBAC Permission Assignment and Enforcement -- Designing Secure Indexes for Encrypted Databases -- Efficiency and Security Trade-Off in Supporting Range Queries on Encrypted Databases -- Verified Query Resul…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540319375
- Deskripsi Fisik
- X, 353 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Cyberspace Security and Defense: Research Issues
General Security Issues -- IT Security Development -- A Case for Public and Private Review of Developing it Security Standards -- Assuring Critical Information Infrastructure -- Systemic Challenges for Critical Information Infrastructure Protection -- Decentralized Energy Supply to Secure Computer Systems -- Dependability -- Safety Analysis Methods—Software Development Questions -- Trust Case…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9781402033810
- Deskripsi Fisik
- X, 382 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Cryptographic Hardware and Embedded Systems - CHES 2005
Side Channels I -- Resistance of Randomized Projective Coordinates Against Power Analysis -- Templates as Master Keys -- A Stochastic Model for Differential Side Channel Cryptanalysis -- Arithmetic for Cryptanalysis -- A New Baby-Step Giant-Step Algorithm and Some Applications to Cryptanalysis -- Further Hidden Markov Model Cryptanalysis -- Low Resources -- Energy-Efficient Software Implementat…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540319405
- Deskripsi Fisik
- XIV, 458 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices
Mobile Resource Guarantees for Smart Devices -- History-Based Access Control and Secure Information Flow -- The Spec# Programming System: An Overview -- Mastering Test Generation from Smart Card Software Formal Models -- A Mechanism for Secure, Fine-Grained Dynamic Provisioning of Applications on Small Devices -- ESC/Java2: Uniting ESC/Java and JML -- A Type System for Checking Applet Isolation…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540305699
- Deskripsi Fisik
- IX, 258 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