Вы здесь

Главная

Lecture Notes in Computer Science

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

Visual Tools to Debug Prolog IV Programs
Visual Verification of Reactive Systems
VISWAS and on Diagnosability with IEEE Std P1522 and UML 2.0 Testing Profile
VLIW Compilation Techniques for Superscalar Architectures
VMlambda: A Functional Calculus for Scientific Discovery
Vooduu: Verification of Object-Oriented Designs Using UPPAAL
Voting and Relocation Strategies Preserving Consistency among Replicated Files
Voting on Synchronous Communications
VPN on DCE: From Reference Configuration to Implementation
VPSF: A Parallel Signature File Technique Using Vertical Partitioning and Extendable Hashing
VQL: A Query Language for Multiversion Databases
VSF and its Relationship to Open Systems and Standard Repositories
VuSystem Performance Measurements
Wait-Free Synchronization in Quantum-Based Multiprogrammed Systems
Wait-free Test-and-Set
Waiting Time Distributions for Processor Sharing Queues with State-Dependent Arrival and Service Rates
Walkabout Revisited: The Runabout
WAM Local Analysis
Wang Tillings and Distributed Orientation on Anonymous Torus Networks
WAPS: Web Application Prototyping System
Warp-Edge Optimization in XPath
Watchpoint Semantics: A Tool for Compositional and Focussed Static Analyses
Wavelet-Based Cost Estimation for Spatial Queries
Wavelet Transforms Computing on PVM
WCOP 98. Summary of the Third International Workshop on Component-Oriented Programming
WCT: A Wrapper for Component Testing
WDBQS: A Unified Access to Distant Databases Via a Simple Web-Tool
Weak and Strong Composition of High-Level Petri Nets
Weak Bisimulation and Model Checking for Basic Parallel Processes
Weak Bisimulation Approximants
Weak Consistency in Hybrid Group Update for Replication
Weak Orthogonality Implies Confluence: The Higher-Order Case
Weak Parallel Machines: a New Class of Physically Feasible Parallel Machine Models
Weak Protection for Reflective Operating Systems
Weak Refinement in Z
Weak Semantics Based on Lighted Button Pressing Experiments
Weak Sequential Composition in Process Algebras
Weak Stochastic Bisimulation for Non-Markovian Processes
Weak Systems of Set Theory Related to HOL
Web Application Models Are More than Conceptual Models
WebAppLoader: A Simulation Tool Set for Evaluating Web Application Performance
WEBARM: Mobile Code Based Agent for Web Application Response Measurement - Software Implementations and Analysis
Web-Based COTS Component Evaluation
Web-Based Distributed XML Query Processing
Web-Based Information Systems Development - A User Centered Engineering Approach
Web Based Question Answering with Aggregation Strategy
Web-Based Service Customization in an IN-TINA Environment
Web-Based System Development: Status in the Norwegian IT Organizations
WebCarousel: Automatic Presentation and Semantic Restructuring of Web Search Result for Mobile Environments
Web Component: A Substrate for Web Service Reuse and Composition