计算逻辑.逻辑程序设计及其它 第1卷Computer performance evaluation
点此进入淘宝搜索页搜索分类: 图书,计算机/网络,计算机理论,
作者： A.C. Kakas 著
出 版 社： 湖南文艺出版社
出版时间： 2002-12-1字数：版次： 1页数： 678印刷时间： 2002/12/01开本：印次：纸张： 胶版纸I S B N ： 9783540435396包装： 平装编辑推荐
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.)
内容简介
This volume spans the whole field of computational logic seen from the point of view of logic programming. The topics addressed range from issues concerning the development of programming languages in logic and the application of computational logic to real-life problems, to philosophical studies of the field at the other end of the spectrum. The articles presented cover the contributions of computational logic to databases and artificial intelligence with particular emphasis on automated reasoning, reasoning about actions and change, natural languages, and learning.Together with its companion volume, LNAI 2408, this book commemorates the 60th birthday of Bob Kowalski as one of the founders of and contributors to computational logic.
目录
Heavy Tails: The Effect of the Service Discipline
The MSbius State-Level Abstract FunctionM Interface
The ProC/B Toolset for the Modelling and Analysis of Process Chains ...
MRMSolve: Distribution Estimation of Large Markov Reward Models
PhFit: A General Phase-Type Fitting Tool
Traffic Modeling of IP Networks Using the
Batch Markovian Arrival Process
PEPA Nets: A Structured Performance Modelling Formalism
Validation of GSPN and SWN Models through the PROD Tool
Software Performance Models from System Scenarios in Use Case Maps...
Applying the UML Performance Profile: Graph Grammar-Based Derivation of LQN Models from UML Specifications
A Passage-Time Preserving Equivalence for Semi-Markov Processes
Symbolic Methods for the State Space Exploration of GSPN Models
PRISM: Probabilistic Symbolic Model Checker
MAMSolver: A Matrix Analytic Methods Tool
The MOMBASA Software Environment - A Toolkit for Performance Evaluation of Multicast-Based Mobility Support
GILK: A Dynamic Instrumentation Tool for the Linux Kernel
Geist: A Web Traffic Generation Tool
DrawNET++: Model Objects to Support Performance Analysis and Simulation of Systems
A Visual Formalism for the Composition of Stochastic Petri Nets
Symbolic Performance Prediction of Data-Dependent Parallel Programs..
Analysis of a Transaction System with Checkpointing, Failures, and Rollback
Analyzing Voice-over-IP Subjective Quality as a Function of Network QoS: A Simulation-Based Methodology and Tool
Hierarchical Workloar Characterization for a Busy Web Server
Enabling Network Caching of Dynamic Web Objects
A Tool for Controlling Response Time in Real-Time Systems
Author Index
