| The LNCS series reports state-of-the-art results in computer science research,development,and education,at a high level and in both printed and electronic form.Enjoying tight cooperation with the R&D community,with numerous individuals,as well as with prestigious organizations and societies,LNCS has grown into the most comprehensive computer science resarch forum available. The scope of LNCS,including its subseries LNAI,spans the whole range of computer science and information technology including interdisciplinary topics in a variety of application fields.The type of material publised traditionally includes. -proceedings(published in time for the respective conference) -post-proceedings(consisting of thoroughly revised final full papers) -research monographs(which may be basde on outstanding PhD work,research projects,technical reports,etc.) |
| Invited Speakers Performance Engineering and Stochastic Modelling Implicit Representations and Algorithms for the Logic and Stochastic Analysis of Discrete-State Systems PiDuce: A Process Calculus with Native XML Datatypes Life After BPEL? EPEW On Moments of Discrete Phase-Type Distributions Zero-Automatic Queues A Unified Approach to the Moments Based Distribution Estimation Unbounded Support Bounds for Point and Steady-State Availability: An Algorithmic Approach Based on Lumpability and Stochastic Ordering Stochastic Model Checking with Stochastic Comparison Delay Analysis of the Go-Back-N ARQ Protocol over a Time-Varying Channel Performance ~hning of Failure Detectors in Wireless Ad-hoc Networks: Modelling and Experiments Hypergraph Partitioning for Faster Parallel PageRank Computation Prediction of Communication Latency over Complex Network Behaviors on SMP Clusters A Diffusion Approximation Model of an Electronic-Optical Node WS-FM Choreographing Security and Performance Analysis for Web Services Application of Formal Methods to the Analysis of Web Services Security Automatic Translation of WS-CDL Choreographies to Timed Automata Executable Semantics for Compensating CSP Verifying the Conformance of Web Services to Global Interaction Protocols: A First Step From Theory to Practice in Transactional Composition of Web Services Timing Issues in Web Services Composition A Compositional Operational Semantics for OWL-S …… Author Index |
内容加载中，请稍后...
商品评论（0条）