Ditapis dengan
ECOOP 2005 - Object-Oriented Programming
Invited Talks -- Attached Types and Their Application to Three Open Problems of Object-Oriented Programming -- The Emergent Structure of Development Tasks -- Java -- Loosely-Separated “Sister” Namespaces in Java -- Efficiently Refactoring Java Applications to Use Generic Libraries -- Sharing the Runtime Representation of Classes Across Class Loaders -- Aspects and Modularity -- Aspect-Orien…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540317258
- Deskripsi Fisik
- XVII, 631 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Distributed Computing and Internet Technology
Plenary Talk I -- The Distributed Sensor Networks – An Emerging Technology -- Distributed Computing -- Distribute Computing Track Chair’s Message -- Network Protcols -- Efficient Binding Lifetime Determination Schemes in HMIPv6 -- A Fast Search and Advanced Marking Scheme for Network IP Traceback Model -- Design and Performance Evaluation of Token-Based MAC Protocols in WDM Burst Switched R…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540324294
- Deskripsi Fisik
- XXII, 610 p. 243 illus.online resource.
- Judul Seri
- -
- No. Panggil
- -
Distributed Computing and Internet Technology
Plenary Talk – I -- Taming the Dynamics of Disributed Data -- DISTRIBUTED COMPUTING -- Data in Your Space -- Enabling Technologies for Harnessing Information Explosion -- Fair Leader Election by Randomized Voting -- An Efficient Leader Election Algorithm for Mobile Ad Hoc Networks -- Distributed Balanced Tables: A New Approach -- Performance Evaluation of Gigabit Ethernet and SCI in a Linux C…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540305552
- Deskripsi Fisik
- XX, 474 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Distributed Computing – IWDC 2005
Keynote Talk I -- Distributed Coordination Algorithms for Mobile Robot Swarms: New Directions and Challenges -- Session I A: Theory -- Labeling Schemes for Tree Representation -- Single-Bit Messages Are Insufficient in the Presence of Duplication -- Safe Composition of Distributed Programs Communicating over Order-Preserving Imperfect Channels -- Efficiently Implementing LL/SC Objects Shared by…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540324287
- Deskripsi Fisik
- XXII, 590 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Distributed Computing -- IWDC 2004
Keynote Talk I -- The Next Chapter in Networking Research: Evolutionary or Revolutionary? -- Session I A: Distributed Algorithms -- Performance of Fair Distributed Mutual Exclusion Algorithms -- A Framework for Automatic Identification of the Best Checkpoint and Recovery Protocol -- Distributed Computation for Swapping a Failing Edge -- Flexible Cycle Synchronized Algorithm in Parallel and Dist…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540305361
- Deskripsi Fisik
- XIX, 546 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Distributed and Parallel Computing
Improving Concurrent Write Scheme in File Server Group -- A Comparative Performance Study of Distributed Mutual Exclusion Algorithms with a Class of Extended Petri Nets -- A Practical Comparison of Cluster Operating Systems Implementing Sequential and Transactional Consistency -- Clock Synchronization State Graphs Based on Clock Precision Difference -- A Recursive-Adjustment Co-allocation Schem…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540320715
- Deskripsi Fisik
- XIV, 452 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Distributed Applications and Interoperable Systems
Towards Real-Time Middleware for Applications of Vehicular Ad Hoc Networks -- Towards Real-Time Middleware for Applications of Vehicular Ad Hoc Networks -- Adaptive Context Management Using a Component-Based Approach -- Customised Billing for Location-Based Services -- Interoperability Architectures -- Loosely-Coupled Integration of CSCW Systems -- Interoperability and eServices -- Model-Driven…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540315827
- Deskripsi Fisik
- XI, 235 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Architecture Description Languages
Tutorial -- An Overview of the SAE Architecture Analysis & Design Language (AADL) Standard: A Basis for Model-Based Architecture-Driven Embedded Systems Engineering -- Models and Analysis -- Deploying QoS Contracts in the Architectural Level -- Hierarchical Composition and Abstraction in Architecture Models -- Pattern-Based Analysis of an Embedded Real-Time System Architecture -- An ADL Centric…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9780387245904
- Deskripsi Fisik
- X, 212 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Architecting Dependable Systems III
1. Architectures for Dependable Services -- Semantics-Aware Services for the Mobile Computing Environment -- The Role of Agreements in IT Management Software -- Toward Undoing in Composite Web Services -- Architecting Web Services Applications for Improving Availability -- Dependable Composite Web Services with Components Upgraded Online -- 2. Monitoring and Reconfiguration in Software Architec…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540316480
- Deskripsi Fisik
- XIV, 343 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Applications and Theory of Petri Nets 2005
Invited Papers -- Expressiveness and Efficient Analysis of Stochastic Well-Formed Nets -- Applications of Craig Interpolation to Model Checking -- Towards an Algebra for Security Policies -- Continuization of Timed Petri Nets: From Performance Evaluation to Observation and Control -- Full Papers -- Genetic Process Mining -- The (True) Concurrent Markov Property and Some Applications to Markov N…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540315599
- Deskripsi Fisik
- XI, 475 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