Ditapis dengan
New Algorithms, Architectures and Applications for Reconfigurable Computing
Architectures -- Extra-dimensional Island-Style FPGAs -- A Tightly Coupled VLIW/Reconfigurable Matrix and its Modulo Scheduling Technique -- Stream-based XPP Architectures in Adaptive System-on-Chip Integration -- Core-Based Architecture for Data Transfer Control in SoC Design -- Customizable and Reduced Hardware Motion Estimation Processors -- Methodologies and Tools -- Enabling Run-time Task …
- Edisi
- 1st ed.
- ISBN/ISSN
- 9781402031281
- Deskripsi Fisik
- XVIII, 314 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Agent-Based Simulation: From Modeling Methodologies to Real-World Applications
SOARS: Spot Oriented Agent Role Simulator — Design and Implementation -- Interactive inversion of agent-based models -- Modeling the Exchange of AIDS Prevention and Treatment Strategies in Hong Kong -- Effect of Mutual Choice Metanorm in Group Dynamics for Solving Social Dilemmas -- Evolution of Cooperative Behavior in C2C market: Effect of Reputation Management System -- Constructing shared …
- Edisi
- 1st ed.
- ISBN/ISSN
- 9784431269250
- Deskripsi Fisik
- X, 250 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Agent Intelligence Through Data Mining
Concepts and Techniques -- Data Mining and Knowledge Discovery: A Brief Overview -- Intelligent Agents and Multi-Agent Systems -- Methodology -- Exploiting Data Mining on Mas -- Coupling Data Mining with Intelligent Agents -- Knowledge Diffusion: Three Representative Test Cases -- Data Mining on the Application Level of a Mas -- Mining Agent Behaviors -- Mining Knowledge for Agent Communities -…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9780387257570
- Deskripsi Fisik
- XXVI, 206 p. 77 illus.online resource.
- Judul Seri
- -
- No. Panggil
- -
Agent Communication
Section I: Social Commitments -- Agent Communication and Institutional Reality -- Conversational Semantics with Social Commitments -- A Semantic Approach for Designing Commitment Protocols -- Section II: Multi-party Communication -- A Scalable Petri Net Representation of Interaction Protocols for Overhearing -- First Steps Towards Multi-party Communication -- Section III: Content Languages -- O…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540322580
- Deskripsi Fisik
- X, 266 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Database and XML Technologies
Invited Talk (Shared with DBPL) -- Patterns and Types for Querying XML Documents -- Constraints and Views -- Checking Functional Dependency Satisfaction in XML -- A Theoretic Framework for Answering XPath Queries Using Views -- Labeling and Path Evaluation -- A Path-Based Labeling Scheme for Efficient Structural Join -- The BIRD Numbering Scheme for XML and Tree Databases – Deciding and Recon…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540319689
- Deskripsi Fisik
- X, 239 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Data Management in a Connected World
MOTIVATION AND MODELING ISSUES -- Databases: The Integrative Force in Cyberspace -- Federating Location-Based Data Services -- An Agent-Based Approach to Correctness in Databases -- INFRASTRUCTURAL SERVICES -- Thirty Years of Server Technology — From Transaction Processing to Web Services -- Caching over the Entire User-to-Data Path in the Internet -- Reweaving the Tapestry: Integrating Datab…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540316541
- Deskripsi Fisik
- XIX, 371 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
COTS-Based Software Systems
Panels -- COTS Component-Based Embedded Systems – A Dream or Reality? -- Free and Proprietary Software in COTS-Based Software Development -- Workshops -- 2nd International Workshop on Incorporating COTS into Software Systems: Assessment and Prediction of Behavior and QoS Attributes of COTS Software Components and Systems -- Challenges of COTS IV & V -- Tutorials -- The COTS Product Market: An…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540305873
- Deskripsi Fisik
- XVI, 312 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Correct Hardware Design and Verification Methods
Invited Talks -- Is Formal Verification Bound to Remain a Junior Partner of Simulation? -- Verification Challenges in Configurable Processor Design with ASIP Meister -- Tutorial -- Towards the Pervasive Verification of Automotive Systems -- Functional Approaches to Design Description -- Wired: Wire-Aware Circuit Design -- Formalization of the DE2 Language -- Game Solving Approaches -- Finding a…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540320302
- Deskripsi Fisik
- XII, 414 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Coordination Models and Languages
A Case Study of Web Services Orchestration -- A Correct Abstract Machine for Safe Ambients -- A Process Calculus for QoS-Aware Applications -- Abstract Interpretation-Based Verification of Non-functional Requirements -- Coordination Systems in Role-Based Adaptive Software -- Coordination with Multicapabilities -- Delegation Modeling with Paradigm -- Dynamically Adapting Tuple Replication for Ma…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540320067
- Deskripsi Fisik
- X, 299 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Cooperative Design, Visualization, and Engineering
Building a CSCW Infrastructure Utilizing an M&S Architecture and XML -- Modelization of a Communication Protocol for CSCW Systems Using Coloured Petri Nets -- The Design of a Workflow-Centric, Context-Aware Framework to Support Heterogeneous Computing Environments in Collaboration -- Do Tangible User Interfaces Impact Spatial Cognition in Collaborative Design? -- Cooperation in Highly Distribut…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540319764
- Deskripsi Fisik
- XI, 264 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