Ditapis dengan
Scientific Applications of Grid Computing
Data-Based Applications -- to OGSA-DAI Services -- Using OGSA-DQP to Support Scientific Applications for the Grid -- Mobile Agent-Based Service Provision in Distributed Data Archives -- A Proxy Service for the xrootd Data Server -- A Flexible Two-Level I/O Architecture for Grids -- Data Driven Infrastructure and Policy Selection to Enhance Scientific Applications in Grid -- BioApplications -- M…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540320104
- Deskripsi Fisik
- X, 214 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Scenarios: Models, Transformations and Tools
Scenarios: Models, Transformations and Tools -- Why Timed Sequence Diagrams Require Three-Event Semantics -- Some Methodological Observations Resulting from Experience Using LSCs and the Play-In/Play-Out Approach -- Deciding Properties of Message Sequence Charts -- Operational Semantics of Security Protocols -- Autonomous Shuttle System Case Study -- Genetic Design: Amplifying Our Ability to De…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540320326
- Deskripsi Fisik
- XII, 279 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
RoboCup 2004: Robot Soccer World Cup VIII
RoboCup 2004 Overview -- RoboCup 2004 Overview -- Award Winner Papers -- Map-Based Multiple Model Tracking of a Moving Object -- UCHILSIM: A Dynamically and Visually Realistic Simulator for the RoboCup Four Legged League -- Full Papers -- CommLang: Communication for Coachable Agents -- Turning Segways into Robust Human-Scale Dynamically Balanced Soccer Robots -- A Constructive Feature Detection…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540322566
- Deskripsi Fisik
- XVIII, 678 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Reverse Engineering of Object Oriented Code
The Object Flow Graph -- Class Diagram -- Object Diagram -- Interaction Diagrams -- State Diagrams -- Package Diagram -- Conclusions.In software evolution and maintenance, the ultimate, most reliable description of a system is its source code. Reverse engineering aims at extracting abstract, goal-oriented views from the code, to summarize relevant properties of program computations. Reverse Eng…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9780387238036
- Deskripsi Fisik
- XIV, 208 p. 80 illus.online resource.
- Judul Seri
- -
- No. Panggil
- -
Requirements Engineering
A Generic Process for Requirements Engineering -- System Modelling for Requirements Engineering -- Writing and Reviewing Requirements -- Requirements Engineering in the Problem Domain -- Requirements Engineering in the Solution Domain -- Advanced Traceability -- Management Aspects of Requirements Engineering -- DOORS: A Tool to Manage Requirements.This second edition follows quickly on the ?rst…
- Edisi
- 2nd ed.
- ISBN/ISSN
- 9781846280757
- Deskripsi Fisik
- XVI, 198 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Reliable Software Technology – Ada-Europe 2005
Applications -- ILTIS – The Legacy of a Successful Product -- A Reference Control Architecture for Service Robots Implemented on a Climbing Vehicle -- An Ada Framework for QoS-Aware Applications -- Design and Scheduling Issues -- Efficient Alternatives for Implementing Fixed-Priority Schedulers -- A New Strategy for the HRT-HOOD to Ada Mapping -- Using the AADL to Describe Distributed Applica…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540316664
- Deskripsi Fisik
- XVI, 276 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Recent Trends in Algebraic Development Techniques
Invited Technical Paper -- Behavior-Preserving Refinement Relations Between Dynamic Software Architectures -- Contributed Papers -- Modelling Mobility with Petri Hypernets -- Cryptomorphisms at Work -- Towards a Formal Specification of an Electronic Payment System in CSP-CASL -- Algebraic Semantics of Design Abstractions for Context-Awareness -- CCC – The Casl Consistency Checker -- Ontologie…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540319597
- Deskripsi Fisik
- VIII, 280 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Rapid Integration of Software Engineering Techniques
Integration of Software Engineering Techniques Through the Use of Architecture, Process, and People Management: An Experience Report -- Integration of Software Engineering Techniques Through the Use of Architecture, Process, and People Management: An Experience Report -- Supporting Virtual Interaction Objects with Polymorphic Platform Bindings in a User Interface Programming Language -- Towards…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540320395
- Deskripsi Fisik
- X, 145 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Domain Decomposition Methods - Algorithms and Theory
Abstract Theory of Schwarz Methods -- Two-Level Overlapping Methods -- Substructuring Methods: Introduction -- Primal Iterative Substructuring Methods -- Neumann-Neumann and FETI Methods -- Spectral Element Methods -- Linear Elasticity -- Preconditioners for Saddle Point Problems -- Problems in H (div ; ?) and H (curl ; ?) -- Indefinite and Nonsymmetric Problems -- Elliptic Problems and Sobolev…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540266624
- Deskripsi Fisik
- XV, 450 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Developing Statistical Software in Fortran 95
Motivation -- to Modern Fortran -- A Pseudo Object-Oriented Style -- Implementing Computational Routines -- Developing a Console Application -- Creating and Using Dynamic-Link Libraries -- Creating COM Servers -- Creating COM Clients.Many books teach computational statistics. Until now, however, none has shown how to write a good program. This book gives statisticians, biostatisticians and meth…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9780387281230
- Deskripsi Fisik
- XVI, 324 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