Ditapis dengan
Intelligent Agents and Multi-Agent Systems
A Combined System for Update Logic and Belief Revision -- Using Messaging Structure to Evolve Agents Roles in Electronic Markets -- Specifying DIMA Multi-agents Models Using Maude -- picoPlangent: An Intelligent Mobile Agent System for Ubiquitous Computing -- An Approach to Safe Continuous Planning -- Modeling e-Procurement as Co-adaptive Matchmaking with Mutual Relevance Feedback -- Price Dete…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540321286
- Deskripsi Fisik
- X, 329 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Service-Oriented Computing – ICSOC 2005
Vision Papers -- Autonomic Web Processes -- The (Service) Bus: Services Penetrate Everyday Life -- Service Oriented Architectures for Science Gateways on Grid Systems -- Service Specification and Modelling -- Toward a Programming Model for Service-Oriented Computing -- Speaking a Common Language: A Conceptual Model for Describing Service-Oriented Systems -- A Rule Driven Approach for Developing…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540322948
- Deskripsi Fisik
- XVIII, 606 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Embedded Systems Design
Hard Real-Time Development Environments -- Executive Overview on Hard Real-Time Development Environments -- Hard Real-Time System Development -- Current Design Practice and Needs in Selected Industrial Sectors -- Tools for Requirements Capture and Exploration -- Tools for Architecture Design and Capture -- Tools for Programming, Code Generation, and Design -- Tools for Verification and Validati…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540319733
- Deskripsi Fisik
- XVI, 496 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Systems Aspects in Organic and Pervasive Computing - ARCS 2005
Adaptation, Power Consumption and Scheduling -- Energy Management for Embedded Multithreaded Processors with Integrated EDF Scheduling -- Reducing System Level Power Consumption for Mobile and Embedded Platforms -- Implementing Control Algorithms Within a Multithreaded Java Microcontroller -- Adaptivity for Quality and Timeliness Flexible Real-Time Systems -- Adaptation and Agents -- Apricot Ag…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540319672
- Deskripsi Fisik
- X, 268 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Software Product Lines
Keynotes -- Next Generation Software Product Line Engineering -- Software Product Families in Nokia -- Feature Modelling -- Feature Models, Grammars, and Propositional Formulas -- Using Product Sets to Define Complex Product Decisions -- The PLUSS Approach – Domain Modeling with Features, Use Cases and Use Case Realizations -- Re-engineering -- Feature-Oriented Re-engineering of Legacy System…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540320647
- Deskripsi Fisik
- XIII, 235 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Beginning Relational Data Modeling
Understanding and Organizing Data: Past and Present -- Introducing Relational Theory -- Understanding Relational Modeling Terminology -- Understanding Data Modeling Methods: Graphical Syntax -- Introducing Object-Oriented Data Modeling -- Examining Levels of Analysis -- How Data Models Fit Into Projects -- Building a Conceptual Model -- Building a Logical Model -- Transforming a Logical Model i…
- Edisi
- 2nd ed. 2005.
- ISBN/ISSN
- 9781430200154
- Deskripsi Fisik
- XXVIII, 632 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Form-Oriented Analysis
Modeling Form-Based Systems -- The Form-Based System Paradigm -- Exploring the Online Bookshop -- Form Storyboarding -- Formcharts and Dialogue Specification -- Model Decomposition and Refinement -- Data Modeling -- Message-Based Modeling of Data Interchange -- A Descriptive Approach -- Tool Support -- Forward Engineering and Reverse Engineering -- Typed Server Pages -- Semantics -- The Integra…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540268932
- Deskripsi Fisik
- XVIII, 372 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Shared Memory Parallel Programming with Open MP
Parallelization of General Matrix Multiply Routines Using OpenMP -- Performance Analysis of Hybrid OpenMP/MPI N-Body Application -- Performance and Scalability of OpenMP Programs on the Sun FireTM E25K Throughput Computing Server -- What Multilevel Parallel Programs Do When You Are Not Watching: A Performance Analysis Case Study Comparing MPI/OpenMP, MLP, and Nested OpenMP -- SIMT/OMP: A Toolse…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540318323
- Deskripsi Fisik
- X, 154 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Tools and Algorithms for the Construction and Analysis of Systems
Invited Paper -- Applications of Craig Interpolants in Model Checking -- Regular Model-Checking -- Verifying Programs with Dynamic 1-Selector-Linked Structures in Regular Model Checking -- Simulation-Based Iteration of Tree Transducers -- Using Language Inference to Verify Omega-Regular Properties -- Infinite State Systems -- On-the-Fly Reachability and Cycle Detection for Recursive State Machi…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540319801
- Deskripsi Fisik
- XVIII, 590 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Formal Methods and Software Engineering
Invited Talks -- Realising the Benefits of Formal Methods -- A Compositional Framework for Service Interaction Patterns and Interaction Flows -- An Evidential Tool Bus -- Specification -- Derivation of UML Class Diagrams as Static Views of Formal B Developments -- 29 New Unclarities in the Semantics of UML 2.0 State Machines -- The Semantics and Tool Support of OZTA -- Modelling -- An Abstract …
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540322504
- Deskripsi Fisik
- XIV, 502 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