Вы здесь

Главная

Lecture Notes in Computer Science

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

Abstract Rewriting
Abstract Specialization and Its Application to Program Parallelization
Abstract Specification in Object-Z and CSP
Abstract State Machines for the Composition of Architectural Styles
Abstract Structures for Communication between Processes
Abstract User Interfaces: A Model and Notation to Support Plasticity in Interactive Systems
Abstract Verification and Debugging of Constraint Logic Programs
Abstract View Objects for Multiple OODB Integration
Abstrat Interpretation and Verification of Reactive Systems
A Business Process Design Language
A Bytecode Translator for Distributed Execution of "Legacy" Java Software
A Caching System for Web Content Generated from XML Sources Using XSLT
Academic vs. Industrial Software Engineering: Closing the Gap
A Calculus and Complexity Bound for Minimal Conditional Logic
A Calculus for Compiling and Linking Classes
A Calculus for Exploiting Data Parallelism on Recursively Defined Data
A Calculus for Higher Order Procedures with Global Variables
A Calculus for Hybrid Sampled Data Systems
A Calculus for Interaction Nets
A Calculus for Link-Time Compilation
A Calculus for Long-Running Transactions
A Calculus for Modeling Software Components
A Calculus for Predicative Programming
A Calculus for Secure Channel Establishment in Open Networks
A Calculus for Secure Mobility
A Calculus for Set-Based Program Development
A Calculus of Circular Proofs and Its Categorical Semantics
A Calculus of Gamma Programs
A Calculus of Untyped Aspect-Oriented Programs
A Calculus of Value Broadcasts
A -calculus Specification of Prolog
A -calculus with Explicit Substitutions: the Late Semantics
A Canonical Model for a Class of Areal Spatial Objects
A Case for Combining Compile-Time and Run-Time Parallelization
A Case for Test-Code Generation in Model-Driven Systems
A Case for the PRAM as a Standard Programmer s Model
A Case Study: Effects of With-Loop-Folding on the NAS Benchmark MG in SAC
A Case Study in COTS Product Integration Using XML
A Case Study in Performance Evaluation of Real-Time Teleoperation Software Architectures Using UML-MAST
A Case Study in Quantitative Evaluation of Real-Time Software Architectures
A Case Study in Safely-Critical Design
A Case Study in the Parallel Implementation of Functional Languages Using Skeletons
A Case Study in Transformational Design of Concurrent Systems
A Case Study in Verification Based on Trace Abstractions
A Case Study of a Web-Based Timetabling System
A Case Study on a Component-Based System and Its Configuration
A Case Study on Scenario-Based Process Flexibility Assessment for Risk Reduction
A Case Study: Parallel Program Development for a Recursive Numerical Algorithm
A Case Study Using the IMSE Experimentation Tool
A Catalog of Classifying Characteristics for Massively Parallel Computers