Ditapis dengan
Programming Languages and Systems
Invited Talk -- Type Systems for XML -- The Essence of Dataflow Programming -- Data Refinement with Low-Level Pointer Operations -- A Simple Semantics for Polymorphic Recursion -- Symbolic Execution with Separation Logic -- An Abstract Interpretation Perspective on Linear vs. Branching Time -- The Parallel Implementation of the Astrée Static Analyzer -- Using Datalog with Binary Decision Diagr…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540322474
- Deskripsi Fisik
- XIV, 442 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Privacy Enhancing Technologies
Anonymity and Covert Channels in Simple Timed Mix-Firewalls -- Practical Traffic Analysis: Extending and Resisting Statistical Disclosure -- The Traffic Analysis of Continuous-Time Mixes -- Reputable Mix Networks -- Secure Outsourcing of Sequence Comparisons -- An Improved Construction for Universal Re-encryption -- Electromagnetic Eavesdropping Risks of Flat-Panel Displays -- On the Anonymity …
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540319603
- Deskripsi Fisik
- VIII, 345 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Principles of Distributed Systems
Invited Session I -- Protocol System Integration, Interface and Interoperability -- Session I (Design of Distributed Systems I) -- DART: Distributed Automated Regression Testing for Large-Scale Network Applications -- Testing Mobile and Distributed Systems: Method and Experimentation -- A UNITY-Based Framework Towards Component Based Systems -- Session II (Ad-Hoc Networks and Mobile Agents) -- …
- Edisi
- 1st ed. 2
- ISBN/ISSN
- 9783540315841
- Deskripsi Fisik
- XII, 472 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Power-Aware Computer Systems
Microarchitecture- and Circuit-Level Techniques -- An Optimized Front-End Physical Register File with Banking and Writeback Filtering -- Reducing Delay and Power Consumption of the Wakeup Logic Through Instruction Packing and Tag Memoization -- Bit-Sliced Datapath for Energy-Efficient High Performance Microprocessors -- Low-Overhead Core Swapping for Thermal Management -- Power-Aware Memory and…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540314851
- Deskripsi Fisik
- X, 181 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Power-Aware Computer Systems
Compilers -- Runtime Biased Pointer Reuse Analysis and Its Application to Energy Efficiency -- Inter-program Compilation for Disk Energy Reduction -- Embedded Systems -- Energy Consumption in Mobile Devices: Why Future Systems Need Requirements–Aware Energy Scale-Down -- Efficient Scratchpad Allocation Algorithms for Energy Constrained Embedded Systems -- Online Prediction of Battery Lifetime…
- Edisi
- 1st ed. =
- ISBN/ISSN
- 9783540286417
- Deskripsi Fisik
- X, 215 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Pervasive Computing
Location Techniques -- Audio Location: Accurate Low-Cost Location Sensing -- Using Sound Source Localization in a Home Environment -- Tracking Locations of Moving Hand-Held Displays Using Projected Light -- Activity and Context -- Bathroom Activity Monitoring Based on Sound -- Simultaneous Tracking and Activity Recognition (STAR) Using Many Anonymous, Binary Sensors -- Enhancing Semantic Spaces…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540320340
- Deskripsi Fisik
- XIV, 350 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Peer-to-Peer Systems IV
Workshop Report -- Workshop Report -- Security and Incentives -- A Self-repairing Peer-to-Peer System Resilient to Dynamic Adversarial Churn -- A First Look at Peer-to-Peer Worms: Threats and Defenses -- A Taxonomy of Rational Attacks -- Search -- Brushwood: Distributed Trees in Peer-to-Peer Systems -- Arpeggio: Metadata Searching and Content Sharing with Chord -- OverCite: A Cooperative Dig…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540319061
- Deskripsi Fisik
- XII, 292 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Peer-to-Peer Systems III
Workshop Report for the 3rd International Workshop on Peer-to-Peer Systems (IPTPS 2004) -- Workshop Report for the 3rd International Workshop on Peer-to-Peer Systems (IPTPS 2004) -- I Miscellaneous -- A Practical Distributed Mutual Exclusion Protocol in Dynamic Peer-to-Peer Systems -- On the Cost of Participating in a Peer-to-Peer Network -- 2 P2P or Not 2 P2P? -- II Networking -- On Transport …
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540301837
- Deskripsi Fisik
- XII, 308 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Operational Semantics for Timed Systems
This monograph is dedicated to a novel approach for uniform modelling of timed and hybrid systems. Heinrich Rust presents a time model which allows for both the description of discrete time steps and continuous processes with a dense real-number time model. The proposed time model is well suited to express synchronicity of events in a real-number time model as well as strict causality by using …
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540320081
- Deskripsi Fisik
- XII, 224 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Engineering Self-Organising Systems
State of the Art -- Emergence Versus Self-Organisation: Different Concepts but Promising When Combined -- About Engineering Complex Systems: Multiscale Analysis and Evolutionary Engineering -- Adaptive Information Infrastructures for the e-Society -- Synthesis and Design Methods -- Agent-Based Modelling of Stem Cell Self-organisation in a Niche -- Ambient Cognitive Environments and the Distribu…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540319016
- Deskripsi Fisik
- XIII, 299 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