Ditapis dengan
Model Driven Architecture - Foundations and Applications
MDA Development Processes -- Applying MDA to Voice Applications: An Experience in Building an MDA Tool Chain -- MDA, Meta-Modelling and Model Transformation: Introducing New Technology into the Defence Industry -- Using Domain Driven Development for Monitoring Distributed Systems -- MDA for Embedded and Real-Time Systems -- Model-Driven Architecture for Hard Real-Time Systems: From Platform Ind…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540320937
- Deskripsi Fisik
- X, 286 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Model Driven Architecture
Designing Application Domain Models with Roles -- Model Bus: Towards the Interoperability of Modelling Tools -- Modeling in the Large and Modeling in the Small -- Model-Driven Development of Reconfigurable Mechatronic Systems with Mechatronic UML -- Model Transformation Language MOLA -- A Graphical Notation to Specify Model Queries for MDA Transformations on UML Models -- Describing Horizontal…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540318194
- Deskripsi Fisik
- X, 238 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Model Checking Software
Invited Talks/Papers -- Pushdown Model Checking for Security -- Execution Generated Test Cases: How to Make Systems Code Crash Itself -- Invited Tutorials -- Effective Bug Hunting with Spin and Modex -- The BLAST Software Verification System -- Model Checking Programs with Java PathFinder -- State Representation and Abstraction -- An Incremental Heap Canonicalization Algorithm -- Memory Efficie…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540318996
- Deskripsi Fisik
- XII, 292 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
- -
Mechanizing Mathematical Reasoning
A Portrait of a Scientist: Logic, AI and Politics -- A Portrait of a Scientist: Logic, AI and Politics -- Logic and Deduction -- Some Reflections on Proof Transformations -- Rewrite and Decision Procedure Laboratory: Combining Rewriting, Satisfiability Checking, and Lemma Speculation -- SAT-Based Decision Procedures for Automated Reasoning: A Unifying Perspective -- Temporal Dynamics of Support…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540322542
- Deskripsi Fisik
- X, 570 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
- -
Advances in Computer Science - ASIAN 2004, Higher Level Decision Making
Keynote Papers -- Counting by Coin Tossings -- On the Role Definitions in and Beyond Cryptography -- Meme Media for the Knowledge Federation Over the Web and Pervasive Computing Environments -- Contributed Papers -- Probabilistic Space Partitioning in Constraint Logic Programming -- Chi-Square Matrix: An Approach for Building-Block Identification -- Design Exploration Framework Under Imprecisen…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540305026
- Deskripsi Fisik
- XII, 510 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Computational and Information Science
High Performance Computing and Algorithms -- Computer Modeling and Simulations -- Biological and Medical Informatics -- Data and Information Sciences -- Computational Graphics and Visualization.The 2004 International Symposium on Computational and Information Sciences (CIS 2004) aimed at bringing researchers in the area of computational and - formation sciences together to exchange new ideas an…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540304975
- Deskripsi Fisik
- XXIV, 1259 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
- -
Karya Umum 
Filsafat 
Agama 
Ilmu-ilmu Sosial 
Bahasa 
Ilmu-ilmu Murni 
Ilmu-ilmu Terapan 
Kesenian, Hiburan, dan Olahraga 
Kesusastraan 
Geografi dan Sejarah