Ditapis dengan
Rules and Rule Markup Languages for the Semantic Web
Towards an Event-Driven Architecture: An Infrastructure for Event Processing Position Paper -- Enabling Semantic Web Inferencing with Oracle Technology: Applications in Life Sciences -- A Realistic Architecture for the Semantic Web -- Active Rules in the Semantic Web: Dealing with Language Heterogeneity -- Towards an Abstract Syntax and Direct-Model Theoretic Semantics for RuleML -- A Semantic …
- Edisi
- 1st ed..
- ISBN/ISSN
- 9783540322702
- Deskripsi Fisik
- X, 225 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
- -
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 Advances in Parallel Virtual Machine and Message Passing Interface
Invited Talks -- New Directions in PVM/Harness Research -- Towards a Productive MPI Environment -- Components of Systems Software for Parallel Systems -- Virtualization in Parallel Distributed Computing -- Tutorials -- Advanced Message Passing and Threading Issues -- Using MPI-2: A Problem-Based Approach -- Algorithms -- Some Improvements to a Parallel Decomposition Technique for Training Suppo…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540319436
- Deskripsi Fisik
- XVIII, 550 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Recent Advances in Constraints
Constraint Propagation -- GCC-Like Restrictions on the Same Constraint -- A Note on Bilattices and Open Constraint Programming -- Pruning by Equally Constrained Variables -- Search -- Trying Again to Fail-First -- Characterization of a New Restart Strategy for Randomized Backtrack Search -- Dynamic Distributed BackJumping -- A Value Ordering Heuristic for Local Search in Distributed Resource Al…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540322528
- Deskripsi Fisik
- X, 217 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
- -
Communicating Sequential Processes. The First 25 Years
Semantic Foundations -- Retracing the Semantics of CSP -- Seeing Beyond Divergence -- Refinement and Simulation -- Process Algebra: A Unifying Approach -- Linking Theories of Concurrency -- Hardware Synthesis -- CSP, occam and Transputers -- Models for Data-Flow Sequential Processes -- Implementation of Handshake Components -- Transactions -- A Trace Semantics for Long-Running Transactions -- P…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540322658
- Deskripsi Fisik
- XIV, 326 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Categories for Software Engineering
Basics -- Introducing Categories -- Building Categories -- Universal Constructions -- Functors -- Advanced Topics -- Functor-Based Constructions -- Adjunctions -- Applications -- CommUnity -- Architectural Description -- An Algebra of Connectors.This book provides a gentle, software engineering oriented introduction to category theory. Assuming only a minimum of mathematical preparation, this b…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540268918
- Deskripsi Fisik
- XIV, 250 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Programming Multi-Agent Systems
Invited Papers -- Coordinating Teams in Uncertain Environments: A Hybrid BDI-POMDP Approach -- Agents – The Challenge of Relevance to the IT Mainstream -- Agent-Oriented Programming -- Goal Representation for BDI Agent Systems -- AF-APL – Bridging Principles and Practice in Agent Oriented Languages -- Agent Platforms and Tools -- A Toolkit for the Realization of Constraint-Based Multiagent …
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540322603
- Deskripsi Fisik
- XIV, 249 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Programming Languages and Systems
Invited Talk -- Type Systems for XML -- The Essence of Dataflow Programming -- Data Refinement with Low-Level Pointer Operations -- A Simple Semantics for Polymorphic Recursion -- Symbolic Execution with Separation Logic -- An Abstract Interpretation Perspective on Linear vs. Branching Time -- The Parallel Implementation of the Astrée Static Analyzer -- Using Datalog with Binary Decision Diagr…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540322474
- Deskripsi Fisik
- XIV, 442 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