The MONARC toolset for simulating large network-distributed processing systems
Proceedings of the 32nd conference on Winter simulation
Markovian models for performance and dependability evaluation
Lectures on formal methods and performance analysis
Lectures on formal methods and performance analysis
On the Logical Characterisation of Performability Properties
ICALP '00 Proceedings of the 27th International Colloquium on Automata, Languages and Programming
TACAS '00 Proceedings of the 6th International Conference on Tools and Algorithms for Construction and Analysis of Systems: Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000
Symbolic Computation of Maximal Probabilistic Reachability
CONCUR '01 Proceedings of the 12th International Conference on Concurrency Theory
Automated Performance and Dependability Evaluation Using Model Checking
Performance Evaluation of Complex Systems: Techniques and Tools, Performance 2002, Tutorial Lectures
End-to-End Performance of Web Services
Performance Evaluation of Complex Systems: Techniques and Tools, Performance 2002, Tutorial Lectures
Performance Modelling of Interaction Protocols in Soft Real-Time Design Architectures
Performance Engineering, State of the Art and Current Trends
UML-Based Performance Modeling Framework for Component-Based Distributed Systems
Performance Engineering, State of the Art and Current Trends
ICATPN '02 Proceedings of the 23rd International Conference on Applications and Theory of Petri Nets
FiFiQueues: Fixed-Point Analysis of Queueing Networks with Finite-Buffer Stations
TOOLS '00 Proceedings of the 11th International Conference on Computer Performance Evaluation: Modelling Techniques and Tools
Queueing Analysis of Pools in Soft Real-Time Systems
TOOLS '00 Proceedings of the 11th International Conference on Computer Performance Evaluation: Modelling Techniques and Tools
Enabling Network Caching of Dynamic Web Objects
TOOLS '02 Proceedings of the 12th International Conference on Computer Performance Evaluation, Modelling Techniques and Tools
Fitting world-wide web request traces with the EM-algorithm
Performance Evaluation - Special issue: Internet performance and control of network systems
A parameter based admission control for differentiated services networks
Computer Networks: The International Journal of Computer and Telecommunications Networking - QoS in multiservice IP networks
BROADNETS '04 Proceedings of the First International Conference on Broadband Networks
Performance modelling of computer networks
LANC '03 Proceedings of the 2003 IFIP/ACM Latin America conference on Towards a Latin American agenda for network research
Solving the ME/ME/1 queue with state-space methods and the matrix sign function
Performance Evaluation
Distributed disk-based algorithms for model checking very large Markov chains
Formal Methods in System Design
Design and evaluation of web proxies by leveraging self-similarity of web traffic
Computer Networks: The International Journal of Computer and Telecommunications Networking - Special issue: Network modelling and simulation
Evaluating Performance in Spatial Data Infrastructures for Geoprocessing
IEEE Internet Computing
valuetools '06 Proceedings of the 1st international conference on Performance evaluation methodolgies and tools
Preemptive and delay-based mechanisms to provide preference to emergency traffic
Computer Networks and ISDN Systems
Switched PIOA: parallel composition via distributed scheduling
Theoretical Computer Science - Components and objects
Analysis of Restart Mechanisms in Software Systems
IEEE Transactions on Software Engineering
CSL model checking algorithms for QBDs
Theoretical Computer Science
Transforming general networks into feed-forward by using turn-prohibition
Computer Communications
Dominator-tree analysis for distributed authorization
Proceedings of the third ACM SIGPLAN workshop on Programming languages and analysis for security
Proceedings of the 3rd international conference on Scalable information systems
Performance analysis of Ethernet Powerlink networks for distributed control and automation systems
Computer Standards & Interfaces
CSRL model checking with closed-form bounding distributions
Proceedings of the 3rd International Conference on Performance Evaluation Methodologies and Tools
Mean Value Analysis for a Class of PEPA Models
EPEW '09 Proceedings of the 6th European Performance Engineering Workshop on Computer Performance Engineering
Preemptive and delay-based mechanisms to provide preference to emergency traffic
Computer Networks: The International Journal of Computer and Telecommunications Networking
State diagrams and steady-state balance equations for open queuing network models
Computers and Electrical Engineering
Trace Machines for Observing Continuous-Time Markov Chains
Electronic Notes in Theoretical Computer Science (ENTCS)
Performance study and system optimization on sleep mode operation in IEEE 802.16e
IEEE Transactions on Wireless Communications
Interactive Markov chains: and the quest for quantified quality
Interactive Markov chains: and the quest for quantified quality
Symbolic analysis for GSMP models with one stateful clock
HSCC'07 Proceedings of the 10th international conference on Hybrid systems: computation and control
UML based performance modeling framework for object-oriented distributed systems
UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard
SFM'07 Proceedings of the 7th international conference on Formal methods for performance evaluation
A queuing-theoretic framework for modeling and analysis of mobility in WSNs
PerMIS '08 Proceedings of the 8th Workshop on Performance Metrics for Intelligent Systems
A fixed-point algorithm for closed queueing networks
EPEW'07 Proceedings of the 4th European performance engineering conference on Formal methods and stochastic models for performance evaluation
Efficient solutions of a PEPA model of a key distribution centre
Performance Evaluation
Analysis of service availability for time-triggered rejuvenation policies
Journal of Systems and Software
Performance and security tradeoff
SFM'10 Proceedings of the Formal methods for quantitative aspects of programming languages, and 10th international conference on School on formal methods for the design of computer, communication and software systems
Uniform labeled transition systems for nondeterministic, probabilistic, and stochastic processes
TGC'10 Proceedings of the 5th international conference on Trustworthly global computing
The how and why of interactive Markov chains
FMCO'09 Proceedings of the 8th international conference on Formal methods for components and objects
A Petri net model for service availability in redundant computing systems
Winter Simulation Conference
Node mobility modeling in ad hoc networks through a birth and death process
NEW2AN'11/ruSMART'11 Proceedings of the 11th international conference and 4th international conference on Smart spaces and next generation wired/wireless networking
Bounded model checking for GSMP models of stochastic real-time systems
HSCC'06 Proceedings of the 9th international conference on Hybrid Systems: computation and control
Security frameworks for open LBS based on web services security mechanism
ISPA'05 Proceedings of the 2005 international conference on Parallel and Distributed Processing and Applications
Open location-based service using secure middleware infrastructure in web services
ICCSA'05 Proceedings of the 2005 international conference on Computational Science and Its Applications - Volume Part II
Preserving the independence of flows in general topologies using turn-prohibition
IWQoS'05 Proceedings of the 13th international conference on Quality of Service
A novel approach to fault tolerant multichannel networks designing problems
Annales UMCS, Informatica
Model checking infinite-state markov chains
TACAS'05 Proceedings of the 11th international conference on Tools and Algorithms for the Construction and Analysis of Systems
XKMS-Based key management for open LBS in web services environment
AWIC'05 Proceedings of the Third international conference on Advances in Web Intelligence
Measuring and synthesizing systems in probabilistic environments
CAV'10 Proceedings of the 22nd international conference on Computer Aided Verification
On moments of discrete phase-type distributions
EPEW'05/WS-FM'05 Proceedings of the 2005 international conference on European Performance Engineering, and Web Services and Formal Methods, international conference on Formal Techniques for Computer Systems and Business Processes
Performance tuning of failure detectors in wireless ad-hoc networks: modelling and experiments
EPEW'05/WS-FM'05 Proceedings of the 2005 international conference on European Performance Engineering, and Web Services and Formal Methods, international conference on Formal Techniques for Computer Systems and Business Processes
Elastic security qos provisioning for telematics applications
WISA'05 Proceedings of the 6th international conference on Information Security Applications
Synthesizing efficient controllers
VMCAI'12 Proceedings of the 13th international conference on Verification, Model Checking, and Abstract Interpretation
Rare event simulation for highly dependable systems with fast repairs
Performance Evaluation
| Hi-index | 0.00 |
From the Publisher:Written by an internationally renowned expert in computer communications systems engineering, this title is the first book to cover all major techniques of performance evaluation of computer communication systems, including assessment techniques for single server queues, networks of queues and stochastic Petri nets.