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
- -
Programming Languages and Systems
Programming with Explicit Security Policies -- Trace Partitioning in Abstract Interpretation Based Static Analyzers -- The ASTREÉ Analyzer -- Interprocedural Herbrand Equalities -- Analysis of Modular Arithmetic -- Forward Slicing by Conjunctive Partial Deduction and Argument Filtering -- A New Foundation for Control-Dependence and Slicing for Modern Program Structures -- Summaries for While P…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540319870
- Deskripsi Fisik
- XIV, 442 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Product Focused Software Process Improvement
Keynote Addresses -- Competitive Product Engineering: 10 Powerful Principles for Winning Product Leadership, Through Advanced Systems Engineering, Compared to10 Failure Paths Still Popular in Current Culture -- From Products and Solutions to End-User Experiences -- Systems and Software Process Improvement -- What Formal Models Cannot Show Us: People Issues During the Prototyping Process -- Proc…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540316404
- Deskripsi Fisik
- XIII, 588 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
- -
Principles and Practice of Constraint Programming - CP 2005
Invited Papers -- Best Papers -- Full Papers -- Short Papers -- Doctoral Papers -- System Demonstrations.
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540320500
- Deskripsi Fisik
- XX, 888 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
- -
Perspectives in Conceptual Modeling
First International Workshop on Best Practices of UML (BP-UML 2005) -- Preface to BP-UML 2005 -- Experience Reports and new Applications -- Current Practices in the Use of UML -- An Empirical Study of the Nesting Level of Composite States Within UML Statechart Diagrams -- Utilizing a Multimedia UML Framework for an Image Database Application -- Model Evaluation and Requirements Modeling -- Obje…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540322399
- Deskripsi Fisik
- XXII, 480 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