Ditapis dengan
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
- -
Parallel Computing Technologies
On Evaluating the Performance of Security Protocols -- Timed Equivalences for Timed Event Structures -- Similarity of Generalized Resources in Petri Nets -- Real-Time Event Structures and Scott Domains -- Early-Stopping k-Set Agreement in Synchronous Systems Prone to Any Number of Process Crashes -- Allowing Atomic Objects to Coexist with Sequentially Consistent Objects -- An Approach to the Im…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540318262
- Deskripsi Fisik
- XII, 472 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Parallel and Distributed Computing: Applications and Technologies
Algorithms and Applications -- Networking and Architectures -- Software Systems and Technologies.The 2004 International Conference on Parallel and Distributed Computing, - plications and Technologies (PDCAT 2004) was the ?fth annual conference, and was held at the Marina Mandarin Hotel, Singapore on December 8–10, 2004. Since the inaugural PDCAT held in Hong Kong in 2000, the conference has -…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540305019
- Deskripsi Fisik
- XXIV, 891 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
- -
Ontologies for Agents: Theory and Experiences
Ontologies for Interaction Protocols -- On the Impact of Ontological Commitment -- Agent to Agent Talk: “Nobody There?” Supporting Agents Linguistic Communication -- Ontology Translation by Ontology Merging and Automated Reasoning -- Collaborative Understanding of Distributed Ontologies in a Multiagent Framework: Experiments on Operational Issues -- Reconciling Implicit and Evolving Ontolog…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783764373610
- Deskripsi Fisik
- X, 345 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Object-Oriented Technology. ECOOP 2004 Workshop Reader
Object Orientation and Web Services -- Practical Problems of Programming in the Large (PPPL) -- 8th Workshop on Quantitative Approaches in Object-Oriented Software Engineering (QAOOSE 2004) -- Eighth Workshop on Pedagogies and Tools for the Teaching and Learning of Object Oriented Concepts -- 2nd Workshop on Object-Oriented Language Engineering for the Post-Java Era: Back to Dynamicity -- Philo…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540305545
- Deskripsi Fisik
- VIII, 215 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Autonomy Oriented Computing
Fundamentals -- From Autonomy to AOC -- AOC at a Glance -- Design and Engineering Issues -- A Formal Framework of AOC -- AOC in Depth -- AOC in Constraint Satisfaction -- AOC in Complex Systems Modeling -- AOC in Optimization -- Challenges and Opportunities.Autonomy Oriented Computing explores the important theoretical and practical issues in AOC, by analyzing methodologies and presenting exper…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9781402081224
- Deskripsi Fisik
- XXXII, 216 p. 57 illus.online resource.
- Judul Seri
- -
- No. Panggil
- -
Automata, Languages and Programming
Invited Lectures -- Data Structures I -- Cryptography and Complexity -- Data Structures II -- Cryptography and Distributed Systems -- Graph Algorithms I -- Security Mechanisms -- Graph Algorithms II -- Automata and Formal Languages I -- Signature and Message Authentication -- Algorithmic Game Theory -- Automata and Logic -- Computational Algebra -- Cache-Oblivious Algorithms and Algorithmic Eng…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540316916
- Deskripsi Fisik
- L, 1482 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Enterprise Information Systems V
Invited Papers -- Evolution of Enterprise Information Systems in the Internet Era -- Managing Change — Evolving the EIS Vision -- Automatic Speech Recognition: A Review -- Reasoning with Goals to Engineer Requirements -- Real-Time Knowledge-Based Systems for Enterprise Decision Support and Systems Analysis -- Is Engineering Getting Out of Classical System Engineering -- Databases and Informat…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9781402026737
- Deskripsi Fisik
- XIV, 332 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