Перейти к основному содержанию
Мемориальная библиотека А.П. Ершова
Toggle navigation
Издания
Журналы
Новые поступления
Вы здесь
Главная
The Computer J.
Связанные издания:
Achieving Bounded and Predictable Recovery using Real-Time Logging
A Context-sensitive Graph Grammar Formalism for the Specification of Visual Languages
A Cost-Based Admission Control Algorithm for Digital Library Multimedia Systems Storing Heterogeneous Objects
A Framework for Developing and Analyzing Software Architecture Specifications in SAM
A Genetic Algorithm for Vertical Fragmentation and Access Path Selection
Algorithms for Moving Objects Databases
A Logical Model for Information Retrieval based on Propositional Logic and Belief Revision
A Logic of Access Control
A Model for Representing and Retrieving Heterogeneous Structured Documents Based on Evidential Reasoning
A Multi-chanel MAC Protocol with Power Control for Multi-hop Mobile Ad Hoc Networks
An Algorithm for Automatic Construction of Class Diagrams
Analysis of a Multimedia Stream using Stochastic Process Algebra
An Analytical Model for the Performance of the DOCSIS CATV Network
An Analytic Model for Performance Analysis of Concurrency Control Strategies in Mobile Environments
An Efficient Location Management Scheme for Hybrid Wireless Asynchronous Transfer Mode Networks
An Evaluation of Real-Time Transaction Management Issues in Mobile Database Systems
A New Access Control Method Using Prime Factorisation
A New Perspective of the Proportional Sampling Strategy
An Extended Temporal Logic for CSCW
An Object-Oriented Methodology for Embedded Real-time Systems
A Note on the Use of Floating Point in Critical Systems
A Power-Saving Network Architecture for Accessing the Internet from Mobile Computers: Design, Implementation and Measurements
Applying Cilk in Provably Efficient Task Scheduling
Arguments and Results
A Semantic Comparison of Fusion and Syntropy
Aspect-oriented Metamodeling
Aspectual Collaborations: Combining Modules and Aspects
A System for Measuring Function Points from an ER-DFD Specification
A Thread of HOL Development
A Tool for Checking the CSP sat Property
A Trading Service for COTS Components
A Train Set as a Case Study for the Requirements Analysis of Safety-Critical Systems
A Unified Meta-Level Software Architecture for Sequential and Concurrent Exception Handling
Availability Evaluation of Quorum-Based Mutual Exclusion Schemes in General Topology Networks
Balsa: An Asynchronous Hardware Synthesis Language
BSP-style Computetion: A Semantic Investigation
Cache Management for Mobile File Service
Classifying Video Documents by Hierarchical Structure of Video Contents
Compressing Integers for Fast File Access
Computational Models for Information Reuse
Computing in the Age of the Genome
Conceptual Graphs and First Order Logic
Consensus-based Timestamps in Distributed Temporal Databases
Consistent Checkpointing for Transaction Systems
Construction of Deadlock-free Designs of Communication Protocols from Observations
COSMOS - Content Oriented Semantic Modeling Overlay Scheme
Data Placement Schemes to Reduce Conflicts in Interleaved Memories
Data Visualization Operators for WHOWEDA
Development of a Conceptual Query Language: Adopting the User-Centered Methodology
Diagnosing Workflow Processes using Woflan
1
2
3
следующая ›
последняя »