Ditapis dengan
Parallel and Distributed Processing and Applications
Keynote Speech -- Tutorial -- Session 1A: Cluster Systems and Applications -- Session 1B: Performance Evaluation and Measurements -- Session 1C: Distributed Algorithms and Systems -- Session 1D: Fault Tolerance and Reliability -- Session 2A: High-Performance Computing and Architecture I -- Session 2B: Parallel Algorithms and Systems I -- Session 2C: Network Routing and Communication Algorithms …
- Edisi
- 1st ed. 2
- ISBN/ISSN
- 9783540321002
- Deskripsi Fisik
- XXIV, 1164 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
- -
Best Practices in Software Measurement
Making Metrics a Success — The Business Perspective -- Planning the Measurement Process -- Performing the Measurement Process -- Introducing a Measurement Program -- Measurement Infrastructures -- Size and Effort Estimation -- Project Control -- Defect Detection and Quality Improvement -- Software Process Improvement -- Software Performance Engineering -- Service Level Management -- Case Stud…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540267348
- Deskripsi Fisik
- XII, 296 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
- -
Automated Technology for Verification and Analysis
Keynote Speeches -- Ranking Abstraction as a Companion to Predicate Abstraction -- Termination and Invariance Analysis of Loops -- Some Perspectives of Infinite-State Verification -- Model Checking -- Verifying Very Large Industrial Circuits Using 100 Processes and Beyond -- A New Reachability Algorithm for Symmetric Multi-processor Architecture -- Comprehensive Verification Framework for Depen…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540319696
- Deskripsi Fisik
- XII, 508 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Automated Reasoning with Analytic Tableaux and Related Methods
Invited Talks -- Query Processing in Peer-to-Peer Systems: An Epistemic Logic Approach -- Description Logics in Ontology Applications -- Automated Reasoning in the Context of the Semantic Web -- Formal Versus Rigorous Mathematics: How to Get Your Papers Published -- Research Papers -- Consistency of Variable Splitting in Free Variable Systems of First-Order Logic -- On the Dynamic Increase of M…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540318224
- Deskripsi Fisik
- XIV, 346 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Automated Deduction – CADE-20
What Do We Know When We Know That a Theory Is Consistent? -- Reflecting Proofs in First-Order Logic with Equality -- Reasoning in Extensional Type Theory with Equality -- Nominal Techniques in Isabelle/HOL -- Tabling for Higher-Order Logic Programming -- A Focusing Inverse Method Theorem Prover for First-Order Linear Logic -- The CoRe Calculus -- Simulating Reachability Using First-Order Logic …
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540318644
- Deskripsi Fisik
- XIV, 466 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