Ditapis dengan
Advances in Cryptology – ASIACRYPT 2005
Algebra and Number Theory -- Discrete-Log-Based Signatures May Not Be Equivalent to Discrete Log -- Do All Elliptic Curves of the Same Order Have the Same Difficulty of Discrete Log? -- Adapting Density Attacks to Low-Weight Knapsacks -- Efficient and Secure Elliptic Curve Point Multiplication Using Double-Base Chains -- Multiparty Computation -- Upper Bounds on the Communication Complexity …
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540322672
- Deskripsi Fisik
- XIV, 706 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Advanced Distributed Systems
Database Systems -- Database System Architecture – A Walk Through Time: From Centralized Platform to Mobile Computing – Keynote Address -- Extending Wide-Area Replication Support with Mobility and Improved Recovery -- Extending Databases to Precision-Controlled Retrieval of Qualitative Information -- An Approach for Solving Very Large Scale Instances of the Design Distribution Problem for D…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540316749
- Deskripsi Fisik
- XII, 564 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Component-Based Software Development for Embedded Systems
Component-Based Software Development for Embedded Systems – An Introduction -- Component-Based Software Development for Embedded Systems – An Introduction -- Specification and Verification -- Specification and Verification of Applications Based on Function Blocks -- A Model-Based Approach to Formal Specification and Verification of Embedded Systems Using Colored Petri Nets -- Modular Verifi…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540316145
- Deskripsi Fisik
- VIII, 348 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Component Deployment
Middleware Integration -- Cooperative Component-Based Software Deployment in Wireless Ad Hoc Networks -- Infrastructure for Automatic Dynamic Deployment of J2EE Applications in Distributed Environments -- Patterns for Deployment -- Component Deployment Using a Peer-to-Peer Overlay -- A Methodology for Developing and Deploying Distributed Applications -- QOS Issues -- Crosslets: Self-managing Ap…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540322818
- Deskripsi Fisik
- X, 197 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Financial Cryptography and Data Security
Threat and Attacks -- Fraud Within Asymmetric Multi-hop Cellular Networks -- Protecting Secret Data from Insider Attacks -- Countering Identity Theft Through Digital Uniqueness, Location Cross-Checking, and Funneling -- Invited Speaker -- Trust and Swindling on the Internet -- Digital Signing Methods -- Identity-Based Partial Message Recovery Signatures (or How to Shorten ID-Based Signatures) -…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540316800
- Deskripsi Fisik
- XII, 376 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Formal Techniques for Networked and Distributed Systems - FORTE 2005
KEYNOTE SPEECHES -- Ranking Abstraction as Companion to Predicate Abstraction -- Developing High Quality Software with Formal Methods: What Else Is Needed? -- A Testing Architecture for Designing High-Reliable MANET Protocols -- REGULAR PAPERS -- A Composition Operator for Systems with Active and Passive Actions -- A Formal Semantics of UML StateCharts by Means of Timed Petri Nets -- A Hierarch…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540320845
- Deskripsi Fisik
- XII, 558 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Job Scheduling Strategies for Parallel Processing
Parallel Job Scheduling — A Status Report -- Scheduling on the Top 50 Machines -- Parallel Computer Workload Modeling with Markov Chains -- Enhancements to the Decision Process of the Self-Tuning dynP Scheduler -- Reconfigurable Gang Scheduling Algorithm -- Time-Critical Scheduling on a Well Utilised HPC System at ECMWF Using Loadleveler with Resource Reservation -- Inferring the Topology and…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540317951
- Deskripsi Fisik
- VIII, 320 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Theory and Applications of Satisfiability Testing
Mapping Problems with Finite-Domain Variables to Problems with Boolean Variables -- Mapping Problems with Finite-Domain Variables to Problems with Boolean Variables -- A SAT-Based Decision Procedure for the Boolean Combination of Difference Constraints -- An Algebraic Approach to the Complexity of Generalized Conjunctive Queries -- Incremental Compilation-to-SAT Procedures -- Resolve and Expand…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540315803
- Deskripsi Fisik
- XIII, 393 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Trust, Privacy, and Security in Digital Business
Invited Talk -- Privacy Enhanced Technologies: Methods – Markets – Misuse -- Digital Business -- Sec-Shield: Security Preserved Distributed Knowledge Management Between Autonomous Domains -- Protection Mechanisms Against Phishing Attacks -- Dropout-Tolerant TTP-Free Mental Poker -- A Self-healing Mechanism for an Intrusion Tolerance System -- Protecting Online Rating Systems from Unfair Rat…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540317968
- Deskripsi Fisik
- XII, 332 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Grid and Cooperative Computing - GCC 2005
Towards Global Collaborative Computing: Opportunities and Challenges of Peer to Peer Networks and Applications -- Session 1: Grid Service and Grid Security -- Session 2: Grid Middleware and Applications -- Session 3: Knowledge Grid and Semantic Grid -- Session 4: Resource Management -- Session 5: P2P Computing and Automatic Computing -- Session 6: Performance Evaluation and Modeling -- Session …
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540322771
- Deskripsi Fisik
- XXI, 1203 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