Search results for "DTMC"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
66	Jaafar Almasizadeh, Mohammad Abdollahi Azgomi	A Method for Estimation of the Success Probability of an Intrusion Process by Considering the Temporal Aspects of the Attacker Behavior.	Trans. Comput. Sci.	2009	DBLP DOI BibTeX RDF	intrusion process, semi-Markov chain (SMC), Security, modeling, evaluation, attacker, system, discrete-time Markov chain (DTMC)
58	Yingxin Ren, Qing Gu, Jingxian Qi, Daoxu Chen	Reliability Prediction of Web Service Composition Based on DTMC.	SSIRI	2009	DBLP DOI BibTeX RDF	Execution Scenarios, Service Dependency Graph, Reliability, Web service composition, DTMC
37	Lijun Wang, Xiaoying Bai, Lizhu Zhou, Yinong Chen	A Hierarchical Reliability Model of Service-Based Software System.	COMPSAC (1)	2009	DBLP DOI BibTeX RDF
37	Douglas Vincent de Jager, Jeremy T. Bradley	PageRank: Splitting Homogeneous Singular Linear Systems of Index One.	ICTIR	2009	DBLP DOI BibTeX RDF
37	Yosr Jarraya, Andrei Soeanu, Mourad Debbabi, Fawzi Hassaïne	Automatic Verification and Performance Analysis of Time-Constrained SysML Activity Diagrams.	ECBS	2007	DBLP DOI BibTeX RDF
37	Lin Zou, Zhongwei Zhang	A Comparative Study on the Performance of Wireless Sensor Networks.	ACIS-ICIS	2007	DBLP DOI BibTeX RDF
37	Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky	A Systematic Approach to Probabilistic Pointer Analysis.	APLAS	2007	DBLP DOI BibTeX RDF
37	Swapna S. Gokhale, Kishor S. Trivedi	Analytical Models for Architecture-Based Software Reliability Prediction: A Unification Framework.	IEEE Trans. Reliab.	2006	DBLP DOI BibTeX RDF
37	András Horváth	Steady State Solution for Models with Geometric and Finite Support Activity Duration.	QEST	2005	DBLP DOI BibTeX RDF
29	Dusit Niyato, Ekram Hossain 0001	A Novel Analytical Framework for Integrated Cross-Layer Study of Call-Level and Packet-Level QoS in Wireless Mobile Multimedia Networks.	IEEE Trans. Mob. Comput.	2007	DBLP DOI BibTeX RDF	Adaptive channel allocation, finite state Markov channel (FSMC), cross-layer analysis, call-level and packet-level QoS, call admission control, discrete-time Markov chain (DTMC)
29	Teerawat Issariyakul, Ekram Hossain 0001, Attahiru Sule Alfa	End-to-End Batch Transmission in a Multihop and Multirate Wireless Network: Latency, Reliability, and Throughput Analysis.	IEEE Trans. Mob. Comput.	2006	DBLP DOI BibTeX RDF	multirate transmission, performance evaluation, Automatic Repeat reQuest (ARQ), Multihop wireless networks, Discrete Time Markov Chain (DTMC)
28	Abhishek Kumar, Jorge Martínez-Bauset, Frank Y. Li, Carmen Florea, Octavia A. Dobre	Understanding Inter- and Intra-Cluster Concurrent Transmissions for IoT Uplink Traffic in MIMO-NOMA Networks: A DTMC Analysis.	IEEE Internet Things J.	2024	DBLP DOI BibTeX RDF
28	Siti Nuraishah Agos Jawaddi, Azlan Ismail, Muhammad Nur Haziq Mohammad Hatta, Anis Faqihah Kamarulzaman	Insights into cloud autoscaling: a unique perspective through MDP and DTMC formal models.	J. Supercomput.	2024	DBLP DOI BibTeX RDF
28	Lahcen El Fatimi, Hanifa Boucheneb	Tumor growth prediction and classification based on the KNN algorithm and discrete-time Markov chains (DTMC).	Neural Comput. Appl.	2023	DBLP DOI BibTeX RDF
28	Krati Rastogi, Divya Lohani	An IoT-based Framework to Forecast Indoor Air Quality using ANFIS-DTMC model.	Int. J. Next Gener. Comput.	2020	DBLP BibTeX RDF
28	Dipen Bepari, Santasri Koley, Debjani Mitra	Empirical validation and performance of duty cycle-based DTMC model in channel estimation.	Ann. des Télécommunications	2020	DBLP DOI BibTeX RDF
28	Lakshmikanth Guntupalli, Mikael Gidlund	Multiple Packet Transmissions in Duty Cycling WSNs: A DTMC-Based Throughput Analysis.	IEEE Wirel. Commun. Lett.	2018	DBLP DOI BibTeX RDF
28	Katsumi Sakakibara, Yoji Nakata, Kento Takabayashi	Performance Analysis of Slotted ALOHA Systems with Energy Harvesting Nodes and Retry Limit Using DTMC Model.	FedCSIS	2018	DBLP DOI BibTeX RDF
28	Danyu Wang, Minyong Shi, Yongbin Wang, Zhiguo Hong	DTMC-Based Performance Evaluation of Mobile- phone User's Application Node.	ICIS	2018	DBLP DOI BibTeX RDF
28	Lakshmikanth Guntupalli, Jorge Martínez-Bauset, Frank Y. Li	Cooperative or non-cooperative transmission in synchronous DC WSNs: A DTMC-based approach.	ICC	2017	DBLP DOI BibTeX RDF
28	Geeth P. Wijesiri, Frank Y. Li	Frame Based Equipment Medium Access in LTE-U: Mechanism Enhancements and DTMC Modeling.	GLOBECOM	2017	DBLP DOI BibTeX RDF
28	Lakshmikanth Guntupalli, Frank Y. Li, Mikael Gidlund	Energy Harvesting Powered Packet Transmissions in Duty-Cycled WSNs: A DTMC Analysis.	GLOBECOM	2017	DBLP DOI BibTeX RDF
28	Zhiguo Hong, Yongbin Wang, Minyong Shi	DTMC-Based Performance Evaluation of Animation Rendering Node.	ACIT/CSII/BCD	2017	DBLP DOI BibTeX RDF
28	Rashid Ali 0001, Yousaf Bin Zikria, Farhan Amin, Byung-Seo Kim, Sung Won Kim	I-DTMC: An Integrated-Discrete Time Markov Chain Model for Performance Analysis in Future WLANs.	LCN Workshops	2017	DBLP DOI BibTeX RDF
28	Vivek Kumar, Bharat Gupta	Performance Analysis of IEEE 802.15.6 CSMA/CA Protocol for WBAN Medical Scenario through DTMC Model.	J. Medical Syst.	2016	DBLP DOI BibTeX RDF
28	Alessandra Di Pierro, Herbert Wiklicky	Probabilistic Abstract Interpretation: From Trace Semantics to DTMC's and Linear Regression.	Semantics, Logics, and Calculi	2016	DBLP DOI BibTeX RDF
28	Lakshmikanth Guntupalli, Frank Y. Li, Jorge Martínez-Bauset	Event-Triggered Sleeping for Synchronous DC MAC IN WSNs: Mechanism and DTMC Modeling.	GLOBECOM	2016	DBLP DOI BibTeX RDF
28	Daniel Lüdtke, Dietmar Tutsch	A DTMC Model for Performance Evaluation of Irregular Interconnection Networks with Asymmetric Spatial Traffic Distributions.	ASMTA	2016	DBLP DOI BibTeX RDF
28	Lakshmikanth Guntupalli, Frank Y. Li	DTMC modeling for performance evaluation of DW-MAC in wireless sensor networks.	WCNC	2016	DBLP DOI BibTeX RDF
28	Javier Vales-Alonso, Juan Pedro Muñoz-Gea, Juan J. Alcaraz	A bivariate DTMC model of the RFID FSA reading process to study the continuous wave outage effect.	EURFID	2015	DBLP DOI BibTeX RDF
28	Oana Andrei, Muffy Calder, Matthew Higgs, Mark A. Girolami	Probabilistic Model Checking of DTMC Models of User Activity Patterns.	CoRR	2014	DBLP BibTeX RDF
28	Ummy Habiba, Md. Imdadul Islam, M. Ruhul Amin	Performance Evaluation of the VoIP Services of the Cognitive Radio System, Based on DTMC.	J. Inf. Process. Syst.	2014	DBLP DOI BibTeX RDF
28	Oana Andrei, Muffy Calder, Matthew Higgs, Mark A. Girolami	Probabilistic Model Checking of DTMC Models of User Activity Patterns.	QEST	2014	DBLP DOI BibTeX RDF
28	Songzheng Song, Lin Gui 0002, Jun Sun 0001, Yang Liu 0003, Jin Song Dong	Improved Reachability Analysis in DTMC via Divide and Conquer.	IFM	2013	DBLP DOI BibTeX RDF
28	Ralf Wimmer 0001, Bernd Becker 0001, Nils Jansen 0001, Erika Ábrahám, Joost-Pieter Katoen	Minimal Critical Subsystems as Counterexamples for omega-Regular DTMC Properties.	MBMV	2012	DBLP BibTeX RDF
28	YoungMin Kwon, Gul A. Agha	Verifying the Evolution of Probability Distributions Governed by a DTMC.	IEEE Trans. Software Eng.	2011	DBLP DOI BibTeX RDF
28	Ana Busic, Jean-Michel Fourneau	A Toolbox for Component-Wise Bounds for Steady-State Distribution of a DTMC.	QEST	2010	DBLP DOI BibTeX RDF
28	Erika Ábrahám, Nils Jansen 0001, Ralf Wimmer 0001, Joost-Pieter Katoen, Bernd Becker 0001	DTMC Model Checking by SCC Reduction.	QEST	2010	DBLP DOI BibTeX RDF
28	Tülin Atmaca, Tuan-Dung Nguyen	Delay Analysis and Queue-Length Distribution of a Slotted Metro Network Using Embedded DTMC.	GLOBECOM	2010	DBLP DOI BibTeX RDF
28	Peter Paauwe, Peter van der Putten, Michiel C. van Wezel	DTMC: an actionable e-customer lifetime value model based on markov chains and decision trees.	ICEC	2007	DBLP DOI BibTeX RDF	e-commerce, markov chains, marketing, CART, customer lifetime value
18	Kazem Sohraby, Mahmoud Daneshmand, Chonggang Wang, Bo Li 0001	Performance analysis of RFID Generation-2 protocol.	IEEE Trans. Wirel. Commun.	2009	DBLP DOI BibTeX RDF
18	Taolue Chen, Tingting Han 0001, Joost-Pieter Katoen, Alexandru Mereacre	LTL Model Checking of Time-Inhomogeneous Markov Chains.	ATVA	2009	DBLP DOI BibTeX RDF
18	Armin Heindl, Gilles Pokam	An Analytic Model for Optimistic STM with Lazy Locking.	ASMTA	2009	DBLP DOI BibTeX RDF
18	Xunqi Yu, James W. Modestino, Ragip Kurceren, Yee Sin Chan	A model-based approach to evaluation of the efficacy of FEC coding in combating network packet losses.	IEEE/ACM Trans. Netw.	2008	DBLP DOI BibTeX RDF	FEC coding, packet-loss processes, residual packet-loss rates, single-multiplexer model, interleaving, autocorrelation function
18	Jordi Pérez-Romero, Xavier Gelabert, Oriol Sallent, Ramón Agustí	A novel framework for the characterization of dynamic spectrum access scenarios.	PIMRC	2008	DBLP DOI BibTeX RDF
18	Soo-Yong Jeon, Dong-Ho Cho	Modelling and Analysis of ARQ Mechanisms for Wireless Multi-Hop Relay System.	VTC Spring	2008	DBLP DOI BibTeX RDF
18	Xinsheng Zhao, Hao Liang, Zhenjie Gu	A Markov Chain-Based Capacity Dimensioning Method for Wireless Communications System with AMC, HARQ and Packet Multimedia Traffic Source.	ICC	2008	DBLP DOI BibTeX RDF
18	Long Gao 0001, Shuguang Cui	Multi-Band Power and Rate Control for Cognitive Radios with Energy Constraints: A Dynamic Programming Approach.	ICC	2008	DBLP DOI BibTeX RDF
18	Mouad Ben Mamoun, Nihal Pekergin	Model Checking of Infinite State Space Markov Chains by Stochastic Bounds.	ASMTA	2008	DBLP DOI BibTeX RDF
18	Byung Soo Kim, Ho Young Hwang 0001, Dan Keun Sung	Effect of Frame Aggregation on the Throughput Performance of IEEE 802.11n.	WCNC	2008	DBLP DOI BibTeX RDF
18	Dusit Niyato, Ekram Hossain 0001, Vijay K. Bhargava	Scheduling and Admission Control in Power-Constrained OFDM Wireless Mesh Routers: Analysis and Optimization.	IEEE Trans. Wirel. Commun.	2007	DBLP DOI BibTeX RDF
18	Ayman G. Fayoumi	Delay Performance Evaluation of Shared-Buffer Based All-Optical Multihop Networks.	ICON	2007	DBLP DOI BibTeX RDF
18	Shikha Srivastava, Subrat Kar	Analysis of GPRS Radio Channel Access Delay.	COMSWARE	2007	DBLP DOI BibTeX RDF
18	Hong Shen, Lin Cai 0001, Xuemin Shen	Performance analysis of TFRC over wireless link with truncated link-level ARQ.	IEEE Trans. Wirel. Commun.	2006	DBLP DOI BibTeX RDF
18	Dong Seong Kim 0001, Khaja Mohammad Shazzad, Jong Sou Park	A Framework of Survivability Model for Wireless Sensor Network.	ARES	2006	DBLP DOI BibTeX RDF	Wireless Sensor Network, Survivability, semi-Markov Process, Software Rejuvenation, Discrete Time Markov Chain
18	Swapna S. Gokhale, Jijun Lu	Performance and Availability Analysis of an E-Commerce Site.	COMPSAC (1)	2006	DBLP DOI BibTeX RDF
18	YoungMin Kwon, Gul Agha	Scalable Modeling and Performance Evaluation of Wireless Sensor Networks.	IEEE Real Time Technology and Applications Symposium	2006	DBLP DOI BibTeX RDF
18	R. S. Randhawa, Sandeep Juneja 0001	Combining importance sampling and temporal difference control variates to simulate Markov Chains.	ACM Trans. Model. Comput. Simul.	2004	DBLP DOI BibTeX RDF	temporal difference methods, Markov chains, Importance sampling, stochastic approximation, variance reduction, rare events
18	YoungMin Kwon, Gul Agha	Linear Inequality LTL (iLTL): A Model Checker for Discrete Time Markov Chains.	ICFEM	2004	DBLP DOI BibTeX RDF
18	Changli Jiao, Loren Schwiebert, Bin Xu	On Modeling the Packet Error Statistics in Bursty Channels.	LCN	2002	DBLP DOI BibTeX RDF