Analytical modeling and architectural modifications of a dataflow computer
ISCA '87 Proceedings of the 14th annual international symposium on Computer architecture
FAMA-PJ: a channel access protocol for wireless LANs
MobiCom '95 Proceedings of the 1st annual international conference on Mobile computing and networking
Approximating dependability measures of computer networks: an FDDI case study
IEEE/ACM Transactions on Networking (TON)
A hybrid tool for the performance evaluation of NUMA architectures
Proceedings of the 29th conference on Winter simulation
A Case for Two-Level Recovery Schemes
IEEE Transactions on Computers
Performance analysis of a transaction based software system with shutdown
Proceedings of the 2nd international workshop on Software and performance
Static performance prediction of data-dependent programs
Proceedings of the 2nd international workshop on Software and performance
On balancing the load in a clustered web farm
ACM Transactions on Internet Technology (TOIT)
Disk performance enhancement through Markov-based cylinder remapping
ACM-SE 30 Proceedings of the 30th annual Southeast regional conference
MSWiM '02 Proceedings of the 5th ACM international workshop on Modeling analysis and simulation of wireless and mobile systems
Analytic modeling of handoffs in wireless cellular networks
Information Sciences—Applications: An International Journal
Software Reliability and Rejuvenation: Modeling and Analysis
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
End-to-end WAN service availability
IEEE/ACM Transactions on Networking (TON)
Performance of a shared packet wireless network with interactive data users
Mobile Networks and Applications
A method for modeling and quantifying the security attributes of intrusion tolerant systems
Performance Evaluation - Dependable systems and networks-performance and dependability symposium (DSN-PDS) 2002: Selected papers
Model-Based Performance Prediction in Software Development: A Survey
IEEE Transactions on Software Engineering
Analysis of Software Fault Removal Policies Using a Non-Homogeneous Continuous Time Markov Chain
Software Quality Control
Analyzing heap error behavior in embedded JVM environments
Proceedings of the 2nd IEEE/ACM/IFIP international conference on Hardware/software codesign and system synthesis
Fingerprinting: bounding soft-error detection latency and bandwidth
ASPLOS XI Proceedings of the 11th international conference on Architectural support for programming languages and operating systems
Model-Based Evaluation: From Dependability to Security
IEEE Transactions on Dependable and Secure Computing
Proceedings of the 4th ACM SIGCOMM conference on Internet measurement
Reasoning about partial goal satisfaction for requirements and design engineering
Proceedings of the 12th ACM SIGSOFT twelfth international symposium on Foundations of software engineering
A mathematical model of the Paris metro pricing scheme for charging packet networks
Computer Networks: The International Journal of Computer and Telecommunications Networking - Special issue: Internet economics: Pricing and policies
Evaluating Web Software Reliability Based on Workload and Failure Data Extracted from Server Logs
IEEE Transactions on Software Engineering
A Stochastic Control Model for Deployment of Dynamic Grid Services
GRID '04 Proceedings of the 5th IEEE/ACM International Workshop on Grid Computing
Software agents using simulation for decision-making
ACM SIGSOFT Software Engineering Notes
An analytical approach to architecture-based software performance and reliability prediction
Performance Evaluation
Cheap recovery: a key to self-managing state
ACM Transactions on Storage (TOS)
A characterization of broadband user behavior and their e-business activities
ACM SIGMETRICS Performance Evaluation Review
The Effect of Different Failure Recovery Procedures on the Distribution of Task Completion Times
IPDPS '05 Proceedings of the 19th IEEE International Parallel and Distributed Processing Symposium (IPDPS'05) - Workshop 16 - Volume 17
A Comprehensive Model for Software Rejuvenation
IEEE Transactions on Dependable and Secure Computing
IEEE Transactions on Dependable and Secure Computing
Architecture based analysis of performance, reliability and security of software systems
Proceedings of the 5th international workshop on Software and performance
Iterative algorithms for performance evaluation of closed network models
Performance Evaluation
A Simulation Approach to Structure-Based Software Reliability Analysis
IEEE Transactions on Software Engineering
Availability Modeling for Reliable Routing Software
DS-RT '05 Proceedings of the 9th IEEE International Symposium on Distributed Simulation and Real-Time Applications
Estimation of internet file-access/modification rates from indirect data
ACM Transactions on Modeling and Computer Simulation (TOMACS)
Analysis of scratch-pad and data-cache performance using statistical methods
ASP-DAC '06 Proceedings of the 2006 Asia and South Pacific Design Automation Conference
WAP5: black-box performance debugging for wide-area systems
Proceedings of the 15th international conference on World Wide Web
Reliability Prediction for Service-Oriented Computing Environments
IEEE Internet Computing
Insights into the hidden node problem
Proceedings of the 2006 international conference on Wireless communications and mobile computing
Data association for topic intensity tracking
ICML '06 Proceedings of the 23rd international conference on Machine learning
IEEE Transactions on Mobile Computing
A Novel Approach for Phase-Type Fitting with the EM Algorithm
IEEE Transactions on Dependable and Secure Computing
WSC '05 Proceedings of the 37th conference on Winter simulation
An analytical model based on G/M/1 with self-similar input to provide end-to-end QoS in 3G networks
Proceedings of the 4th ACM international workshop on Mobility management and wireless access
Reliability and maintainability over a wireless Rayleigh radio channel
LANC '05 Proceedings of the 3rd international IFIP/ACM Latin American conference on Networking
Mirrored Disk Organization Reliability Analysis
IEEE Transactions on Computers
A Mathematical Model for Performability of Beowulf Clusters
ANSS '06 Proceedings of the 39th annual Symposium on Simulation
An overhead and resource contention aware analytical model for overloaded web servers
WOSP '07 Proceedings of the 6th international workshop on Software and performance
A TCAM-based distributed parallel IP lookup scheme and performance analysis
IEEE/ACM Transactions on Networking (TON)
Trustworthy software systems: a discussion of basic concepts and terminology
ACM SIGSOFT Software Engineering Notes
Bandwidth usage distribution of multimedia servers using Patching
Computer Networks: The International Journal of Computer and Telecommunications Networking
Performability analysis of clustered systems with rejuvenation under varying workload
Performance Evaluation
ANSWER: AutoNomouS netWorked sEnsoR system
Journal of Parallel and Distributed Computing
Providing fault-tolerant authentication and authorization in wireless mobile IP networks
Journal of Systems and Software
Quantifying software performance, reliability and security: An architecture-based approach
Journal of Systems and Software
BGP session lifetime modeling in congested networks
Computer Networks: The International Journal of Computer and Telecommunications Networking
Extending equation-based congestion control to high-speed and long-distance networks
Computer Networks: The International Journal of Computer and Telecommunications Networking
An Agent-based Resource Allocation Model for computational grids
Multiagent and Grid Systems
Performance evaluation of distributed multiple home agents with HAHA protocol
International Journal of Network Management
Workload models of spam and legitimate e-mails
Performance Evaluation
Proceedings of the 16th international conference on World Wide Web
Parametric Performance Contracts: Non-Markovian Loop Modelling and an Experimental Evaluation
Electronic Notes in Theoretical Computer Science (ENTCS)
A Synthetic Workload Generation Technique for Stress Testing Session-Based Systems
IEEE Transactions on Software Engineering
Improving spam detection based on structural similarity
SRUTI'05 Proceedings of the Steps to Reducing Unwanted Traffic on the Internet on Steps to Reducing Unwanted Traffic on the Internet Workshop
A Hierarchical Modeling and Analysis for Grid Service Reliability
IEEE Transactions on Computers
Architecture-Based Software Reliability Analysis: Overview and Limitations
IEEE Transactions on Dependable and Secure Computing
Modeling and Simulation Study of the Propagation and Defense of Internet E-mail Worms
IEEE Transactions on Dependable and Secure Computing
Parametric Performance Contracts for Software Components with Concurrent Behaviour
Electronic Notes in Theoretical Computer Science (ENTCS)
IEEE Transactions on Computers
Formalization of the Standard Uniform random variable
Theoretical Computer Science
Composition and tradeoff of non-functional attributes in software systems: research directions
Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering
Media streaming via TFRC: An analytical study of the impact of TFRC on user-perceived media quality
Computer Networks: The International Journal of Computer and Telecommunications Networking
Composition and tradeoff of non-functional attributes in software systems: research directions
The 6th Joint Meeting on European software engineering conference and the ACM SIGSOFT symposium on the foundations of software engineering: companion papers
IEEE Transactions on Parallel and Distributed Systems
A testing scenario for probabilistic processes
Journal of the ACM (JACM)
A queuing network model for the management of berth crane operations
Computers and Operations Research
Proceedings of the 2nd international conference on Performance evaluation methodologies and tools
Level crossing ordering of Markov chains: computing end to end delays in an all optical network
Proceedings of the 2nd international conference on Performance evaluation methodologies and tools
Simulation versus analytic-numeric methods: illustrative examples
Proceedings of the 2nd international conference on Performance evaluation methodologies and tools
Information Assurance: Dependability and Security in Networked Systems
Information Assurance: Dependability and Security in Networked Systems
An optimization framework for "build-or-buy" decisions in software architecture
Computers and Operations Research
ACM Transactions on Storage (TOS)
A user-oriented reliability modelling approach for web systems
International Journal of Web Engineering and Technology
Secure message delivery in publish/subscribe networks using overlay multicast
International Journal of Security and Networks
Self-similar simulation of IP traffic for wireless networks
International Journal of Mobile Network Design and Innovation
A framework for dependable QoS adaptation in probabilistic environments
Proceedings of the 2008 ACM symposium on Applied computing
Proactive replication in distributed storage systems using machine availability estimation
CoNEXT '07 Proceedings of the 2007 ACM CoNEXT conference
Reliability assessment of optical p-cycles
IEEE/ACM Transactions on Networking (TON)
Dimensioning and optimization of push-to-talk over cellular server
International Journal of Network Management
Analysis of UMTS radio channel access delay
Computer Communications
Two-wagons fault-tolerant ethernet networked control system
ACC'08 Proceedings of the WSEAS International Conference on Applied Computing Conference
An intelligent proactive security system for cyber centres using Cognitive Agents
International Journal of Information and Computer Security
Modeling and Simulation for Security Risk Propagation in Critical Information Systems
Computational Intelligence and Security
A Peer to Peer Grid Computing System Based on Mobile Agents
Agents and Peer-to-Peer Computing
Quantitative Risk Analysis and Evaluation in Information Systems: A Case Study
ICCS '07 Proceedings of the 7th international conference on Computational Science, Part III: ICCS 2007
Formalization of Continuous Probability Distributions
CADE-21 Proceedings of the 21st international conference on Automated Deduction: Automated Deduction
ICSOC '07 Proceedings of the 5th international conference on Service-Oriented Computing
Energy Constrained Multipath Routing in Wireless Sensor Networks
UIC '08 Proceedings of the 5th international conference on Ubiquitous Intelligence and Computing
A Scalable Formal Framework for Analyzing the Behavior of Nature-Inspired Routing Protocols
Proceedings of the 10th international conference on Parallel Problem Solving from Nature: PPSN X
International Journal of Systems Science
Journal of Computational and Applied Mathematics
Model-based performance analysis using block coverage measurements
Journal of Systems and Software
Flexible provisioning of web service workflows
ACM Transactions on Internet Technology (TOIT)
Experiments on the reliability of stochastic spiking neural P systems
Natural Computing: an international journal
Deploying Software Components for Performance
CBSE '08 Proceedings of the 11th International Symposium on Component-Based Software Engineering
Understanding the Value of Countermeasure Portfolios in Information Systems Security
Journal of Management Information Systems
Mobile cell load detection and prediction
CSECS'08 Proceedings of the 7th conference on Circuits, systems, electronics, control and signal processing
Data aggregation in partially connected networks
Computer Communications
A highly available job execution service in computational service market
GRID '07 Proceedings of the 8th IEEE/ACM International Conference on Grid Computing
A repairable system with imperfect coverage and reboot: Bayesian and asymptotic estimation
Mathematics and Computers in Simulation
Connectivity-based clustering with stretching technique in MANETs
Proceedings of the 3rd International Conference on Ubiquitous Information Management and Communication
IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences
Random Visitor: Defense against Identity Attacks in P2P Networks
IEICE - Transactions on Information and Systems
Network survivability modeling
Computer Networks: The International Journal of Computer and Telecommunications Networking
SHARPE at the age of twenty two
ACM SIGMETRICS Performance Evaluation Review
Optimizing Pseudonym Updation in Vehicular Ad-Hoc Networks
Transactions on Computational Science IV
Transactions on Computational Science IV
Assessing System Availability Using an Enterprise Architecture Analysis Approach
Service-Oriented Computing --- ICSOC 2008 Workshops
Computers and Industrial Engineering
Maximizing anonymity of a vehicle through pseudonym updation
Proceedings of the 4th Annual International Conference on Wireless Internet
Performance and reliability of DSRC vehicular safety communication: a formal analysis
EURASIP Journal on Wireless Communications and Networking - Special issue on wireless access in vehicular environments
Multi-perspective evaluation of self-healing systems using simple probabilistic models
ICAC '09 Proceedings of the 6th international conference on Autonomic computing
M-chaining scheme for VoD application on cluster-based Markov process
International Journal of Advanced Media and Communication
Empirical Software Engineering
Approximate Conditional Distributions of Distances between Nodes in a Two-Dimensional Sensor Network
ASMTA '09 Proceedings of the 16th International Conference on Analytical and Stochastic Modeling Techniques and Applications
Optimising multiple quality criteria of service-oriented software architectures
Proceedings of the 1st international workshop on Quality of service-oriented software systems
RRPS: A Ranked Real-Time Publish/Subscribe Using Adaptive QoS
ICCSA '09 Proceedings of the International Conference on Computational Science and Its Applications: Part II
Software security analysis and assessment model for the web-based applications
Journal of Computational Methods in Sciences and Engineering
Higher reliability redundant disk arrays: Organization, operation, and coding
ACM Transactions on Storage (TOS)
Connection availability and transient survivability analysis in wireless ad-hoc networks
Proceedings of the 12th ACM international conference on Modeling, analysis and simulation of wireless and mobile systems
Adaptive ad hoc self-organizing scheduling for quasi-periodic sensor network lifetime
Computer Communications
Achieving continuous availability of IBM systems infrastructures
IBM Systems Journal
Flexible procurement of services with uncertain durations using redundancy
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
Discrete-time cost analysis for a telecommunication billing application with rejuvenation
Computers & Mathematics with Applications
Resilience in computer systems and networks
Proceedings of the 2009 International Conference on Computer-Aided Design
Modeling and simulation of self-similar wireless IP network traffic
WTS'09 Proceedings of the 2009 conference on Wireless Telecommunications Symposium
HSI'09 Proceedings of the 2nd conference on Human System Interactions
CEC'09 Proceedings of the Eleventh conference on Congress on Evolutionary Computation
Dependability Engineering of Silent Self-stabilizing Systems
SSS '09 Proceedings of the 11th International Symposium on Stabilization, Safety, and Security of Distributed Systems
Analysis of Ergodicity of a Fuzzy Possibilistic Markov Model
RSFDGrC '09 Proceedings of the 12th International Conference on Rough Sets, Fuzzy Sets, Data Mining and Granular Computing
Design and implementation of IPv6 packet forwarding engine for flow based router
ICACT'09 Proceedings of the 11th international conference on Advanced Communication Technology - Volume 1
Maintenance of top-k materialized views
Distributed and Parallel Databases
Performability evaluation of EFT systems using expolinomial stochastic models
SMC'09 Proceedings of the 2009 IEEE international conference on Systems, Man and Cybernetics
Performability analysis for fault-tolerant WiFi communication system
ETFA'09 Proceedings of the 14th IEEE international conference on Emerging technologies & factory automation
Adaptive online camera coordination for multi-camera multi-target surveillance
Computer Vision and Image Understanding
Camera handoff with adaptive resource management for multi-camera multi-object tracking
Image and Vision Computing
Reliability and availability analysis of self-stabilizing systems
SSS'06 Proceedings of the 8th international conference on Stabilization, safety, and security of distributed systems
Integrating performance and reliability analysis in a non-functional MDA framework
FASE'07 Proceedings of the 10th international conference on Fundamental approaches to software engineering
SFM'07 Proceedings of the 7th international conference on Formal methods for performance evaluation
SFM'07 Proceedings of the 7th international conference on Formal methods for performance evaluation
Autonomous resource provisioning for multi-service web applications
Proceedings of the 19th international conference on World wide web
Quantifying the sustainability impact of data center availability
ACM SIGMETRICS Performance Evaluation Review
Bayesian assessing for a repairable system with standby imperfect switching and reboot delay
International Journal of Systems Science
Censoring Markov chains and stochastic bounds
EPEW'07 Proceedings of the 4th European performance engineering conference on Formal methods and stochastic models for performance evaluation
Structures for communication-efficient public key revocation in ubiquitous sensor network
MSN'07 Proceedings of the 3rd international conference on Mobile ad-hoc and sensor networks
Path-based error propagation analysis in composition of software services
SC'07 Proceedings of the 6th international conference on Software composition
Achieving and assuring high availability
ISAS'08 Proceedings of the 5th international conference on Service availability
Ten fallacies of availability and reliability analysis
ISAS'08 Proceedings of the 5th international conference on Service availability
Estimating the probability of failure when software runs are dependent: an empirical study
ISSRE'09 Proceedings of the 20th IEEE international conference on software reliability engineering
ISSRE'09 Proceedings of the 20th IEEE international conference on software reliability engineering
Dependability metrics
Analysis of IEEE 802.15.4 sensor networks for event detection
GLOBECOM'09 Proceedings of the 28th IEEE conference on Global telecommunications
Model-based opportunistic channel access in dynamic spectrum access networks
GLOBECOM'09 Proceedings of the 28th IEEE conference on Global telecommunications
Semi-Markov performance modelling of a redundant system with partial, full and failed rejuvenation
International Journal of Critical Computer-Based Systems
Combining Architecture-based Software Reliability Predictions with Financial Impact Calculations
Electronic Notes in Theoretical Computer Science (ENTCS)
Studying high reliability systems in the probabilistic school of B. V. Gnedenko
Automation and Remote Control
IBM Journal of Research and Development
Proceedings of the ACM SIGCOMM 2010 conference
Proceedings of the First ACM International Conference on Bioinformatics and Computational Biology
Software reliability analysis and assessment using queueing models with multiple change-points
Computers & Mathematics with Applications
Evaluation of users access and navigation profiles on web video sharing environments
WebMedia '09 Proceedings of the XV Brazilian Symposium on Multimedia and the Web
Automatic modeling for performance evaluation of inventory and outbound distribution
IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans - Special issue on model-based diagnostics
Statistical analysis and modeling of Skype VoIP flows
Computer Communications
Optimisation of base station location in broadband power line communications access networks
International Journal of Communication Networks and Distributed Systems
Stochastic comparisons for performability of telecommunication systems
ASMTA'10 Proceedings of the 17th international conference on Analytical and stochastic modeling techniques and applications
Kleene, Rabin, and Scott are available
CONCUR'10 Proceedings of the 21st international conference on Concurrency theory
State space approach to security quantification
COMPSAC-W'05 Proceedings of the 29th annual international conference on Computer software and applications conference
Building an inter-IDS central analysis platform in the network center of China's central bank
CTS'05 Proceedings of the 2005 international conference on Collaborative technologies and systems
Model-driven generative techniques for scalable performabality analysis of distributed systems
IPDPS'06 Proceedings of the 20th international conference on Parallel and distributed processing
A Markovian agent model for fire propagation in outdoor environments
EPEW'10 Proceedings of the 7th European performance engineering conference on Computer performance engineering
EURASIP Journal on Wireless Communications and Networking - Special issue on design, implementation, and evaluation of wireless sensor network systems
On the estimation of adequate test set size using fault failure rates
Journal of Systems and Software
Properties of digital switching currents in fully CMOS combinational logic
IEEE Transactions on Very Large Scale Integration (VLSI) Systems
Investigating sequential patterns of DNS usage and its applications
ADMA'10 Proceedings of the 6th international conference on Advanced data mining and applications: Part I
Disk Scrubbing Versus Intradisk Redundancy for RAID Storage Systems
ACM Transactions on Storage (TOS)
Performance analysis of discrete-time queues in slotted networks
ELECTROSCIENCE'05 Proceedings of the 5th WSEAS international conference on Applied electromagnetics, wireless and optical communications
Survivability modeling with stochastic reward nets
Winter Simulation Conference
Identity attack and anonymity protection for P2P-VoD systems
Proceedings of the Nineteenth International Workshop on Quality of Service
Mathematics and Computers in Simulation
Architecture-based reliability evaluation under uncertainty
Proceedings of the joint ACM SIGSOFT conference -- QoSA and ACM SIGSOFT symposium -- ISARCS on Quality of software architectures -- QoSA and architecting critical systems -- ISARCS
Fault injection-based assessment of partial fault tolerance in stream processing applications
Proceedings of the 5th ACM international conference on Distributed event-based system
Algorithms and mechanisms for procuring services with uncertain durations using redundancy
Artificial Intelligence
Ranking continuous nearest neighbors for uncertain trajectories
The VLDB Journal — The International Journal on Very Large Data Bases
Automatic synthesis of SRN models from system operation templates for availability analysis
SAFECOMP'11 Proceedings of the 30th international conference on Computer safety, reliability, and security
Proceedings of the 2011 Symposium on Theory of Modeling & Simulation: DEVS Integrative M&S Symposium
Formalization of finite-state discrete-time Markov chains in HOL
ATVA'11 Proceedings of the 9th international conference on Automated technology for verification and analysis
A probabilistic task scheduling method for grid environments
Future Generation Computer Systems
A survivable distributed sensor networks through stochastic models
ISPA'06 Proceedings of the 2006 international conference on Frontiers of High Performance Computing and Networking
Automated selection of software components based on cost/reliability tradeoff
EWSA'06 Proceedings of the Third European conference on Software Architecture
Reliability analysis of resilient packet rings
SAFECOMP'06 Proceedings of the 25th international conference on Computer Safety, Reliability, and Security
Proceedings of the 4th International Conference on Cognitive Radio and Advanced Spectrum Management
A survivability model for cluster system
ICA3PP'05 Proceedings of the 6th international conference on Algorithms and Architectures for Parallel Processing
A survivability model for cluster system under dos attacks
HPCC'05 Proceedings of the First international conference on High Performance Computing and Communications
Analysis of packet transmission delay under the proportional fair scheduling policy
ICCS'06 Proceedings of the 6th international conference on Computational Science - Volume Part IV
Interoperability of constrained finite state automata
ACM SIGSOFT Software Engineering Notes
Cryptographic key reliable lifetimes: bounding the risk of key exposure in the presence of faults
FDTC'06 Proceedings of the Third international conference on Fault Diagnosis and Tolerance in Cryptography
Performance analysis of finite buffer queueing system with multiple heterogeneous servers
ICDCIT'10 Proceedings of the 6th international conference on Distributed Computing and Internet Technology
Costs and benefits of load sharing in the computational grid
JSSPP'04 Proceedings of the 10th international conference on Job Scheduling Strategies for Parallel Processing
A self-healing mechanism for an intrusion tolerance system
TrustBus'05 Proceedings of the Second international conference on Trust, Privacy, and Security in Digital Business
An adaptive routing strategy based on dynamic cache in mobile ad hoc networks
ISPA'04 Proceedings of the Second international conference on Parallel and Distributed Processing and Applications
Characterizing the lifetime reliability of manycore processors with core-level redundancy
Proceedings of the International Conference on Computer-Aided Design
A checkpoint/recovery model for heterogeneous dataflow computations using work-stealing
Euro-Par'05 Proceedings of the 11th international Euro-Par conference on Parallel Processing
Unit volume based distributed clustering using probabilistic mixture model
DS'05 Proceedings of the 8th international conference on Discovery Science
Evaluating performance attributes of layered software architecture
CBSE'05 Proceedings of the 8th international conference on Component-Based Software Engineering
A modular approach for model-based dependability evaluation of a class of systems
ISAS'04 Proceedings of the First international conference on Service Availability
Modeling and evaluating the survivability of an intrusion tolerant database system
ESORICS'06 Proceedings of the 11th European conference on Research in Computer Security
Model based approach for autonomic availability management
ISAS'06 Proceedings of the Third international conference on Service Availability
Estimating SLAs availability/reliability in multi-services IP networks
ISAS'06 Proceedings of the Third international conference on Service Availability
A model of ITS using cold standby cluster
ICADL'05 Proceedings of the 8th international conference on Asian Digital Libraries: implementing strategies and sharing experiences
PAV: A novel model for ranking heterogeneous objects in bibliographic information networks
Expert Systems with Applications: An International Journal
A probabilistic approach to estimate the damage propagation of cyber attacks
ICISC'05 Proceedings of the 8th international conference on Information Security and Cryptology
Dynamic aspects and behaviors of complex systems in performance and reliability assessment
ACM SIGMETRICS Performance Evaluation Review
A tool suite for modelling spatial interdependencies of distributed systems with markovian agents
EPEW'11 Proceedings of the 8th European conference on Computer Performance Engineering
Performance evaluation of medical imaging service
Proceedings of the 27th Annual ACM Symposium on Applied Computing
Rebuild processing in RAID5 with emphasis on the supplementary parity augmentation method[37]
ACM SIGARCH Computer Architecture News
High availability on cloud with HA-OSCAR
Euro-Par'11 Proceedings of the 2011 international conference on Parallel Processing - Volume 2
Adaptare: Supporting automatic and dependable adaptation in dynamic environments
ACM Transactions on Autonomous and Adaptive Systems (TAAS)
From Reliability Block Diagrams to Fault Tree Circuits
Decision Analysis
Analytical modeling of TCP flow in wireless LANs
Mathematical and Computer Modelling: An International Journal
A proactive approach towards always-on availability in broadband cable networks
Computer Communications
Dynamic region-based mobile multicast
Wireless Communications & Mobile Computing
Multimedia Tools and Applications
Information and Software Technology
Database system performance evaluation models: A survey
Performance Evaluation
Markov modelling of an 802.11-based communication system with penalties
International Journal of Systems, Control and Communications
DAIS'12 Proceedings of the 12th IFIP WG 6.1 international conference on Distributed Applications and Interoperable Systems
Dependability modeling and analysis of software systems specified with UML
ACM Computing Surveys (CSUR)
Computer Networks: The International Journal of Computer and Telecommunications Networking
A transient reliability model of RTP video streaming over WLAN
Proceedings of the 7th ACM workshop on Performance monitoring and measurement of heterogeneous wireless and wired networks
Hierarchical RAID: Design, performance, reliability, and recovery
Journal of Parallel and Distributed Computing
Topology optimisation of repairable flow networks for a maximum average availability
Computers & Mathematics with Applications
Computational analysis of machine repair problem with unreliable multi-repairmen
Computers and Operations Research
Computers and Electrical Engineering
Achieving high job execution reliability using underutilized resources in a computational economy
Future Generation Computer Systems
Investigating coupling patterns in state-space models for system reliability
Proceedings of the Winter Simulation Conference
Response Time Estimation of a Web-Based Electronic Health Record EHR System using Queuing Model
International Journal of E-Health and Medical Communications
How does testing affect the availability of aging software systems?
Performance Evaluation
Assessing Green Strategies in Peer-to-Peer Opportunistic Grids
Journal of Grid Computing
Hierarchical availability analysis of multi-tiered Web applications
Software Quality Control
A dynamic ID management protocol for CSMA/IC in ad hoc networks
Ad Hoc Networks
Proceedings of the 28th Annual ACM Symposium on Applied Computing
A novel intermittent fault Markov model for deep sub-micron processors
Proceedings of the 23rd ACM international conference on Great lakes symposium on VLSI
Parallel graph decompositions using random shifts
Proceedings of the twenty-fifth annual ACM symposium on Parallelism in algorithms and architectures
A stochastic model of attack process for the evaluation of security metrics
Computer Networks: The International Journal of Computer and Telecommunications Networking
A comparison of web robot and human requests
Proceedings of the 2013 IEEE/ACM International Conference on Advances in Social Networks Analysis and Mining
Performance and reliability prediction for evolving service-oriented software systems
Empirical Software Engineering
Channel fading impact on multi-hop DSRC safety communication
Proceedings of the 16th ACM international conference on Modeling, analysis & simulation of wireless and mobile systems
Wi-Fi/ZigBee coexistence for fault-tolerant building automation system
International Journal of Systems, Control and Communications
Delivery Commitments in Stochastic Service Networks: Case of Automobile Service
International Journal of Information Systems and Supply Chain Management
Backward Solution of Markov Chains and Markov Regenerative Processes: Formalization and Applications
Electronic Notes in Theoretical Computer Science (ENTCS)
A low-cost screening method for the detection of the carotid artery diseases
Knowledge-Based Systems
Formal reasoning about classified markov chains in HOL
ITP'13 Proceedings of the 4th international conference on Interactive Theorem Proving
Software rejuvenation scheduling using accelerated life testing
ACM Journal on Emerging Technologies in Computing Systems (JETC) - Special Issue on Reliability and Device Degradation in Emerging Technologies and Special Issue on WoSAR 2011
Job completion time on a virtualized server with software rejuvenation
ACM Journal on Emerging Technologies in Computing Systems (JETC) - Special Issue on Reliability and Device Degradation in Emerging Technologies and Special Issue on WoSAR 2011
A comprehensive approach to optimal software rejuvenation
Performance Evaluation
A Formal Framework for Patch Management
International Journal of Interdisciplinary Telecommunications and Networking
An approach for modeling and detecting software performance antipatterns based on first-order logics
Software and Systems Modeling (SoSyM)
Cost-Benefit Analysis of Virtualizing Batch Systems: Performance-Energy-Dependability Trade-Offs
UCC '13 Proceedings of the 2013 IEEE/ACM 6th International Conference on Utility and Cloud Computing
Approximating the Response Time Distribution of Fault-Tolerant Multi-tier Cloud Services
UCC '13 Proceedings of the 2013 IEEE/ACM 6th International Conference on Utility and Cloud Computing
Strong and weak stochastic bounds for multidimensional Markov chains
International Journal of Critical Computer-Based Systems
Post-release reliability growth in software products
ACM Transactions on Software Engineering and Methodology (TOSEM)
Hi-index | 0.02 |
Probability and Statistics with Reliability, Queuing and Computer Science Applications, Second Edition, offers a comprehensive introduction to probabiliby, stochastic processes, and statistics for students of computer science, electrical and computer engineering, and applied mathematics. Its wealth of practical examples and up-to-date information makes it an excellent resource for practitioners as well.