Ditapis dengan
Formal Methods for Open Object-Based Distributed Systems
Invited Talk -- Pattern Matching over a Dynamic Network of Tuple Spaces -- Models and Calculi -- A Dynamic Class Construct for Asynchronous Concurrent Objects -- An Abstract Machine for the Kell Calculus -- XPi: A Typed Process Calculus for XML Messaging -- UML -- Checking the Validity of Scenarios in UML Models -- An Extended Type System for OCL Supporting Templates and Transformations -- A Se…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540315568
- Deskripsi Fisik
- X, 326 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Information Security and Cryptology - ICISC 2004
Invited Talks -- Security by, and for, Converged Mobile Devices -- Security for Ubiquitous Computing -- Block Cipher and Stream Cipher -- Algebraic Attacks on Combiners with Memory and Several Outputs -- New Method for Bounding the Maximum Differential Probability for SPNs and ARIA -- Dragon: A Fast Word Based Stream Cipher -- Public Key Cryptosystem -- An Efficient and Verifiable Solution to t…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540320838
- Deskripsi Fisik
- XIV, 490 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Intelligent Agents and Multi-Agent Systems
A Combined System for Update Logic and Belief Revision -- Using Messaging Structure to Evolve Agents Roles in Electronic Markets -- Specifying DIMA Multi-agents Models Using Maude -- picoPlangent: An Intelligent Mobile Agent System for Ubiquitous Computing -- An Approach to Safe Continuous Planning -- Modeling e-Procurement as Co-adaptive Matchmaking with Mutual Relevance Feedback -- Price Dete…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540321286
- Deskripsi Fisik
- X, 329 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Service-Oriented Computing – ICSOC 2005
Vision Papers -- Autonomic Web Processes -- The (Service) Bus: Services Penetrate Everyday Life -- Service Oriented Architectures for Science Gateways on Grid Systems -- Service Specification and Modelling -- Toward a Programming Model for Service-Oriented Computing -- Speaking a Common Language: A Conceptual Model for Describing Service-Oriented Systems -- A Rule Driven Approach for Developing…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540322948
- Deskripsi Fisik
- XVIII, 606 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Technologies for Advanced Heterogeneous Networks
Invited Papers -- Efficient Blacklisting and Pollution-Level Estimation in P2P File-Sharing Systems -- Building Tailored Wireless Sensor Networks -- Users and Services in Intelligent Networks -- Wireless, Mobility and Emergency Network -- MAC Protocol for Contacts from Survivors in Disaster Areas Using Multi-hop Wireless Transmissions -- Performance Evaluation of Mobile IPv6 Wireless Test-Bed i…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540322924
- Deskripsi Fisik
- X, 310 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Embedded Systems Design
Hard Real-Time Development Environments -- Executive Overview on Hard Real-Time Development Environments -- Hard Real-Time System Development -- Current Design Practice and Needs in Selected Industrial Sectors -- Tools for Requirements Capture and Exploration -- Tools for Architecture Design and Capture -- Tools for Programming, Code Generation, and Design -- Tools for Verification and Validati…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540319733
- Deskripsi Fisik
- XVI, 496 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Systems Aspects in Organic and Pervasive Computing - ARCS 2005
Adaptation, Power Consumption and Scheduling -- Energy Management for Embedded Multithreaded Processors with Integrated EDF Scheduling -- Reducing System Level Power Consumption for Mobile and Embedded Platforms -- Implementing Control Algorithms Within a Multithreaded Java Microcontroller -- Adaptivity for Quality and Timeliness Flexible Real-Time Systems -- Adaptation and Agents -- Apricot Ag…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540319672
- Deskripsi Fisik
- X, 268 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Solid State Ionics for Batteries
Recent progress in batteries and future problems -- Recent development of amorphous solid electrolytes and their application to solid-state batteries -- Recent development of electrode materials in lithium ion batteries -- Construction of solid/solid interface between hydrogen storage alloy electrode and solid electrolyte for battery application -- Polymer solid electrolytes for lithium-ion con…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9784431277149
- Deskripsi Fisik
- XIV, 276 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Shared Memory Parallel Programming with Open MP
Parallelization of General Matrix Multiply Routines Using OpenMP -- Performance Analysis of Hybrid OpenMP/MPI N-Body Application -- Performance and Scalability of OpenMP Programs on the Sun FireTM E25K Throughput Computing Server -- What Multilevel Parallel Programs Do When You Are Not Watching: A Performance Analysis Case Study Comparing MPI/OpenMP, MLP, and Nested OpenMP -- SIMT/OMP: A Toolse…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540318323
- Deskripsi Fisik
- X, 154 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Tools and Algorithms for the Construction and Analysis of Systems
Invited Paper -- Applications of Craig Interpolants in Model Checking -- Regular Model-Checking -- Verifying Programs with Dynamic 1-Selector-Linked Structures in Regular Model Checking -- Simulation-Based Iteration of Tree Transducers -- Using Language Inference to Verify Omega-Regular Properties -- Infinite State Systems -- On-the-Fly Reachability and Cycle Detection for Recursive State Machi…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540319801
- Deskripsi Fisik
- XVIII, 590 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