Ditapis dengan
Multiagent System Technologies
Invited Contributions -- On the Convergence of Structured Search, Information Retrieval and Trust Management in Distributed Systems -- Semantic Methods for P2P Query Routing -- Programming Cognitive Agents -- Workflows and Group Interaction -- Enacting the Distributed Business Workflows Using BPEL4WS on the Multi-agent Platform -- BSCA-P: Privacy Preserving Coalition Formation -- Towards Servic…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540287414
- Deskripsi Fisik
- XII, 248 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Multi-Agent Programming
Logic- or Process Algebra-Based Agent Programming Languages -- Jason and the Golden Fleece of Agent-Oriented Programming -- Programming Multi-Agent Systems in 3APL -- Impact: A Multi-Agent Framework with Declarative Semantics -- Claim and Sympa: A Programming Environment for Intelligent and Mobile Agents -- Java-Based Agent Programming Languages -- Jade — A Java Agent Development Framework --…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9780387263502
- Deskripsi Fisik
- XXXIV, 296 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Middleware 2005
Securing Publish/Subscribe for Multi-domain Systems -- ABACUS: A Distributed Middleware for Privacy Preserving Data Sharing Across Private Data Warehouses -- Causeway: Support for Controlling and Analyzing the Execution of Multi-tier Applications -- MINERVA?: A Scalable Efficient Peer-to-Peer Search Engine -- An Optimal Overlay Topology for Routing Peer-to-Peer Searches -- Combining Flexibility…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540322696
- Deskripsi Fisik
- XIV, 454 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Metainformatics
Computer Aided Composition -- Supporting Tools for Designing-By-Contract in Component-Based Applications -- Access Rights – The Keys to Cooperative Work/Learning -- Flexible Notifications and Task Models for Cooperative Work Management -- Managing Ontological Complexity: A Case Study -- Looking Beyond Computer Applications: Investigating Rich Structures -- Towards a Generic Building Block for…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540321057
- Deskripsi Fisik
- VIII, 221 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Advances in Grid Computing - EGC 2005
Telemedical Applications and Grid Technology -- Statistical Modeling and Segmentation in Cardiac MRI Using a Grid Computing Approach -- A Grid Molecular Simulator for E-Science -- Application Driven Grid Developments in the OpenMolGRID Project -- ATLAS Data Challenge 2: A Massive Monte Carlo Production on the Grid -- High Throughput Computing for Spatial Information Processing (HIT-SIP) System …
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540320364
- Deskripsi Fisik
- XXI, 1198 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Component-Based Software Testing with UML
Component-Based and Model-Driven Development with UML -- Model-Based Testing with UML -- Built-in Contract Testing -- Built-in Contract Testing and Implementation Technologies -- Reuse and Related Technologies -- Assessing Quality-of-Service Contracts.Component-based software development regards software construction in terms of conventional engineering disciplines where the assembly of systems…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540267331
- Deskripsi Fisik
- XVIII, 316 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Component-Based Software Engineering
Prediction, Analysis and Monitoring of System Architecture -- Performance Prediction of J2EE Applications Using Messaging Protocols -- EJBMemProf – A Memory Profiling Framework for Enterprise JavaBeans -- Model-Driven Safety Evaluation with State-Event-Based Component Failure Annotations -- Optimizing Resource Usage in Component-Based Real-Time Systems -- Evaluating Performance Attributes of …
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540320494
- Deskripsi Fisik
- XII, 360 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Advanced Functional Programming
Typing Haskell with an Attribute Grammar -- Programming with Arrows -- Epigram: Practical Programming with Dependent Types -- Combining Datatypes and Effects -- GEC: A Toolkit for Generic Rapid Prototyping of Type Safe Interactive Applications -- A Functional Shell That Operates on Typed and Compiled Applications -- Declarative Debugging with Buddha -- Server-Side Web Programming in WASH -- Ref…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540318729
- Deskripsi Fisik
- X, 362 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Adapting Proofs-as-Programs
Prologue -- Generalizing Proofs-as-Programs -- Functional Program Synthesis -- The Curry-Howard Protocol -- Imperative Proofs-as-Programs -- Intuitionistic Hoare Logic -- Properties of Intuitionistic Hoare Logic -- Proofs-as-Imperative-Programs -- Structured Proofs-as-Programs -- Reasoning about Structured Specifications -- Proof-theoretic Properties of SSL -- Structured Proofs-as-Programs -- G…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9780387281834
- Deskripsi Fisik
- XII, 420 p. 54 illus.online resource.
- Judul Seri
- -
- No. Panggil
- -
Abstraction, Refinement and Proof for Probabilistic Systems
Probabilistic guarded commands and their refinement logic -- to pGCL: Its logic and its model -- Probabilistic loops: Invariants and variants -- Case studies in termination: Choice coordination, the dining philosophers, and the random walk -- Probabilistic data refinement: The steam boiler -- Semantic structures -- Theory for the demonic model -- The geometry of probabilistic programs -- Proved…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9780387270067
- Deskripsi Fisik
- XX, 388 p. 63 illus.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