Вы здесь

Главная

Lecture Notes in Computer Science

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

A Categorial Observaion of Timed Testing Equivalence
A Categorical Interpretation of Partial Function Logic and Hoare Logic
A Categorical Model for Logic Programs: Indexed Monoidal Categories
A Categorical view of process refinement
A Causal Semantics for Timed Default Concurrent Constraint Programming
A C++ Binding for Penguin: A System for Data Sharing among Heterogeneous Object Models
Accelerated Access to Shared Distributed Arrays on Distributed Memory Systems by Access Objects
Accelerating Code Deployment on Active Networks
Accelerating the Evaluation of Parallel Program Performance Models Using Distributed Simulation
Acceptance Automata: A Framework for Specifying and Verifying TCSP Parallel Systems
Acceptance Testing HTML
Acceptance Testing of Object Oriented Systems
Access Control for Deductive Databases by Logic Programming
Access Control for Inter-Organizational Computer Network Environment
Access Controls in Object-Oriented Database Systems - Some Approaches and Issues
Accessibility Metrics of Web Pages for Blind End-Users
Accessing Data Integration Systems through Conceptual Schemas
Accessing Hidden Web Documents by Metasearching a Directory of Specialty Search Engines
Accessing Web Educational Resources from Mobile Wireless Devices: The Knowledge Sea Approach
Access to Multimedia Information through Multisource and Multilanguage Information Extraction
Access to the Text Component of Multimedia Conversation Services for Non-speaking People with Severe Physical Disabilities
AC Circuit Complexity
Accommodating Changes in Semistructured Databases Using Multidimensional OEM
Accommodating Integrity Constraints During Database Design
Accomodating Changing Requirements with EJB
Accomplishments and Research Challenges in Meta-Programming (Invited Paper)
Accounting and Billing of Wireless Internet Services in the Third Generation Networks
Accurate Projective Reconstruction
Accurate Shape Analysis for Recursive Data Structures
Accurate Widenings and Boundedness Properties of Timed Systems
A C++ Database Interface Based on the Entity-Relationship Approach
A C++ Data Model Supporting Reachability Analysis and Dead Code Detection
A Change Impact Analysis Approach for CORBA-Based Federated Databases
A Characterization of Generator and Component Reuse Technologies
A Characterization of Weak Bisimulation Congruence
A Checker for Modal Formulae for Processes with Data
Achievements and Prospects of Program Synthesis
Achievements of Relational Database Schema Design Theory Revisited
Achieving a Pan-European Service Infrastructure
Achieving CMMI Level 2 with Enhanced Extreme Programming Approach
Achieving Customer Satisfaction through Requirements Understanding
Achieving Milti-level Parallelization
Achieving Portability and Efficiency Through Automatic Optimization: An Investigation in Parallel Image Processing
Achieving Reusable and Reliable Client-Server Code using HOODTM Automated Code Generation for Ada95 and C++ Targets
Achieving Robust, Scalable Cluster I/O in Java
Achieving Software Robustness via Large-Scale Multiagent Systems
Achieving the Promise of Reuse with Agent Components
Achieving Type Safety for Low-Level Code
Achilles and the Tortoise Climbing Up the Arithmetical Hierarchy
A C++ Infrastructure for Automatic Introduction and Translation of OpenMP Directives