Вы здесь

Главная

система

Связанные издания:

12th Workshop for PhD Students in Object Oriented Systems
1st Grade - A System for Implementation, Testing and Animation of Graph Algorithms
3D Layout Manipulation Functions with a Glance to Optimization Problems
64 Bit Oberon
9th Workshop for PhD Students in Object-Oriented Systems
A 64-bit RISC Microprocessor for Parallel Computer Systems
A Behavioral Module System for the Pi-Calculus
A Behavioural Algebraic Framework for Modular System Design with Reuse
About Logical Clocks for Distributed Systems
About the concurrent behaviour of EN systems: definability and closure results
A Brief Introduction to Coloured Petri Nets
Abstract Description of Distributed Object Systems
Abstracting Interactions Based on Message Sets
Abstracting Numerical Values in CLP(H,N)
Abstract Interpretation of Linear Logic Programming
Abstraction and Modular Verification of Infinite-State Reactive Systems
Abstract Rewriting
Abstract Views of Prolog Executions in Opium
Abstrat Interpretation and Verification of Reactive Systems
A Calculus for Hybrid Sampled Data Systems
A Case for Compositional File Systems
A Case for Intelligent Disks (IDISKs)
A Case Study in Transformational Design of Concurrent Systems
A Case Study in Verification Based on Trace Abstractions
A Case Study on a Component-Based System and Its Configuration
Accelerator Programming Using Directives: Proc./5th International Workshop, WACCPD 2018, Dallas,TX.USA, November 2018
Acceptance Automata: A Framework for Specifying and Verifying TCSP Parallel Systems
Acceptance Testing of Object Oriented Systems
Access Controls in Object-Oriented Database Systems - Some Approaches and Issues
Accommodating Latecomers in a System for Synchronous Collaboration
Accomplishments and Research Challenges in Meta-Programming (Invited Paper)
Accurate Modeling of the Hybrid Hash Join Algorithm
A Cellular Automata Simulation System: Version 2.0
A Checkable Interface Language for Pointer-Based Structures
Achieving a Pan-European Service Infrastructure
Achieving Software Robustness via Large-Scale Multiagent Systems
Achieving Strong Consistency in a Distributed File System
Achilles and the Tortoise Climbing Up the Arithmetical Hierarchy
A class abstraction for a hierarchical type system
A Classification of Models for Concurrency
A CLP(R) Options Trading Analisys System
A Cognitive Approach to Intelligent Tutoring System Design
A Coherent Distributed File Cache with Directory Write-behind
A Coherent Distributed File Cache with Directory Write-Behind
A Collaborative Infrastructure for Mobile and Wireless Systems
A Colored Petri Net Model for a Naval Command and Control System
A Communication Architecture for Cooperating Agents
A Comparative Analysis of MIS Project Selection Mechanisms
A Comparative Study of Information System Curriculum in U.S. and Foreign Universities
A Comparison of 4-GL Development Tools in the Area of Metadata and Dynamic User Interfaces