Search results for "Semi-Markov process"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
2	Bin Gao, Tie-Yan Liu, Zhiming Ma, Taifeng Wang, Hang Li	A general markov framework for page importance computation.	CIKM	2009	DBLP DOI BibTeX RDF	browserank, general markov framework, mirror semi-markov process, pagerank, page importance
2	Ming Zhao 0001, Wenye Wang	A unified mobility model for analysis and simulation of mobile wireless networks.	Wireless Networks	2009	DBLP DOI BibTeX RDF	Smooth movement, Network performance evaluation, Mobility model, Stochastic analysis, Semi-Markov process, Mobile wireless networks
2	Animashree Anandkumar, Chatschik Bisdikian, Dakshi Agrawal	Tracking in a spaghetti bowl: monitoring transactions using footprints.	SIGMETRICS	2008	DBLP DOI BibTeX RDF	maximum-likelihood tracking, transaction monitoring, semi-markov process, bipartite matching
2	Jong-Kwon Lee, Jennifer C. Hou	Modeling steady-state and transient behaviors of user mobility: : formulation, analysis, and application.	MobiHoc	2006	DBLP DOI BibTeX RDF	load balacing algorithm, WLAN, mobility model, semi-Markov process, location prediction
2	Dong Seong Kim, 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
2	De-An Wu, Hideaki Takagi	A Queue with Semi-Markovian Batch Plus Poisson Arrivals with Application to the MPEG Frame Sequence.	Queueing Syst.	2003	DBLP DOI BibTeX RDF	group of pictures (GOP), MPEG, queue, waiting time, semi-Markov process, batch arrival
2	Dongyan Chen, Kishor S. Trivedi	Analysis of Periodic Preventive Maintenance with General System Failure Distribution.	PRDC	2001	DBLP DOI BibTeX RDF	a vailability, meantime to failure, reliability, semi-Markov process, Preventive maintenance
2	S. Selvakennedy, Ashwani K. Ramani	Performance Study of Token-Passing Protocol for Traffic Multiplicity in Optical Networks. (PDF / PS)	ICPP	1999	DBLP DOI BibTeX RDF	delay, throughput, priority, WDM, semi-Markov process, loss, token-passing
2	Jewgeni H. Dshalalow, Lotfi Tadj	A queueing system with random server capacity and multiple control.	Queueing Syst.	1993	DBLP DOI BibTeX RDF	state dependent parameters, modulated process, semi-regenerative process, ergodic theorems, invariant probability measure, input process, output process, optimization, Markov process, Queue, busy period, semi-Markov process, steady state distribution, idle period
2	Peter J. Haas, Gerald S. Shedler	Stochastic Petri Net Representation of Discrete Event Simulations.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	transition firings, timed transitions, Petri net simulation, countable state GSMP, generalized semi-Markov process, simulation, formal specification, Petri nets, discrete event simulation, Markov processes, stochastic Petri net
1	A. H. Azni, Rabiah Ahmad, Zul Azri Muhamad Noh, Abd. Samad Hasan Basari, Burairah Hussin	Correlated Node Behavior Model based on Semi Markov Process for MANETS	CoRR	2012	DBLP BibTeX RDF
1	Murali Krishna Kadiyala, Dipti Shikha, Ravi Pendse, Neeraj Jaggi	Semi-Markov process based model for performance analysis of wireless LANs.	PerCom Workshops	2011	DBLP DOI BibTeX RDF
1	Jiwei Huang, Chuang Lin, Xiangzhen Kong, Yemei Zhu	Modeling and Analysis of Dependability Attributes of Service Computing Systems.	IEEE SCC	2011	DBLP DOI BibTeX RDF	dependability attributes, semi-Markov process, service computing
1	András Horváth, Marco Paolieri, Lorenzo Ridi, Enrico Vicario	Probabilistic Model Checking of Non-Markovian Models with Concurrent Generally Distributed Timers.	QEST	2011	DBLP DOI BibTeX RDF	Generalized Semi-Markov Process, Non-Markovian Stochastic Petri net, stochastic state class, DBM zones, probabilistic model checking
1	Alex Hai Wang, Su Yan, Peng Liu	A Semi-Markov Survivability Evaluation Model for Intrusion Tolerant Database Systems.	ARES	2010	DBLP DOI BibTeX RDF	Survivability, Database Security, Intrusion Tolerance, Semi-Markov Process, Modeling and Evaluation
1	Quan Yuan, Ionut Cardei, Jie Wu	Predict and relay: an efficient routing in disruption-tolerant networks.	MobiHoc	2009	DBLP DOI BibTeX RDF	disruption-tolerant networks (dtns), time-related markov model, routing, prediction, landmarks
1	Toshikazu Uemura, Tadashi Dohi, Naoto Kaio	Availability Analysis of a Scalable Intrusion Tolerant Architecture with Two Detection Modes.	CloudCom	2009	DBLP DOI BibTeX RDF	SITAR, detection mode, EMC approach, cloud computing circumstance, availability, intrusion tolerance, discrete-time modeling
1	Brian H. Fralix, Ivo J. B. F. Adan	An infinite-server queue influenced by a semi-Markovian environment.	Queueing Syst.	2009	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 60K25, 60K37
1	Ji-Hong Li, Naishuo Tian, Zhe George Zhang, Hsing Paul Luh	Analysis of the M/G/1 queue with exponentially working vacations - a matrix analytic approach.	Queueing Syst.	2009	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 60K25, 68M20
1	Ulhas Deshmukh, Vineet Sahula	Interactive Generalized Semi Markov Process Model for Evaluating Arbitration Schemes of SoC Bus Architectures.	EMS	2008	DBLP DOI BibTeX RDF
1	Jan Lunze	Fault Diagnosis of Discretely Controlled Continuous Systems by Means of Discrete-Event Models.	Discrete Event Dynamic Systems	2008	DBLP DOI BibTeX RDF	Embedded map, Nondeterministic automaton, Fault diagnosis, Hybrid system, Completeness, Semi-Markov process, Timed automaton, Model abstraction
1	Wei Wei, Yong Qi, Xin He, Wei Wang, Ruidong Li, Hui He	Improving the Survivability of WSNs with Biological Characters Based on Rejuvenation Technology.	APSCC	2008	DBLP DOI BibTeX RDF
1	Jianrui Wang, Richard A. Wysk	A Pi-calculus formalism for discrete event simulation.	Winter Simulation Conference	2008	DBLP DOI BibTeX RDF
1	Damiano Carra, Renato Lo Cigno, Ernst W. Biersack	Stochastic Graph Processes for Performance Evaluation of Content Delivery Applications in Overlay Networks.	IEEE Trans. Parallel Distrib. Syst.	2008	DBLP DOI BibTeX RDF	Stochastic processes, Modeling techniques, Performance attributes
1	Calin Ciufudean, Constantin Filote, Dumitru Amarandei	Control Charts of Workflows.	ICDM	2008	DBLP DOI BibTeX RDF	Equivalent Transfer Functions, Control Charts of Workflows, Stochastic Petri Nets, Artificial Social Systems
1	Gennadi Falin	The M/M/inifity queue in a random environment.	Queueing Syst.	2008	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 60K25, 90B22, 60K37
1	Kazuhiro Otsuka, Hiroshi Sawada, Junji Yamato	Automatic inference of cross-modal nonverbal interactions in multiparty conversations: "who responds to whom, when, and how?" from gaze, head gestures, and utterances.	ICMI	2007	DBLP DOI BibTeX RDF	face-to-face multiparty conversation, bayesian network, markov chain Monte Carlo, eye gaze, nonverbal behaviors, semi-Markov process, gibbs sampler, head gestures
1	Denizhan N. Alparslan, Khosrow Sohraby	A generalized random mobility model for wireless ad hoc networks and its analysis: one-dimensional case.	IEEE/ACM Trans. Netw.	2007	DBLP DOI BibTeX RDF	long-run analysis, ad hoc networks, mobility modeling, semi-markov processes
1	Vasilis P. Koutras, Agapios N. Platis	VoIP Availability and Service Reliability through Software Rejuvenation Policies.	DepCoS-RELCOMEX	2007	DBLP DOI BibTeX RDF
1	Shun-Ren Yang, Sheng-Ying Yan, Hui-Nien Hung	Modeling UMTS Power Saving with Bursty Packet Data Traffic.	IEEE Trans. Mob. Comput.	2007	DBLP DOI BibTeX RDF	bursty packet data traffic, discontinuous reception, universal mobile telecommunications system (UMTS), power saving
1	Sebastian Kempken, Wolfram Luther	Modeling of H.264 High Definition Video Traffic Using Discrete-Time Semi-Markov Processes.	International Teletraffic Congress	2007	DBLP DOI BibTeX RDF
1	Xiaojuan Ren, Seyong Lee, Rudolf Eigenmann, Saurabh Bagchi	Prediction of Resource Availability in Fine-Grained Cycle Sharing Systems Empirical Evaluation.	J. Grid Comput.	2007	DBLP DOI BibTeX RDF	Resource management, Resource availability, Prediction algorithm, Cycle-sharing
1	S. M. Rizwan, K. P. Ramachandran	Reliability Modeling Strategy of an Industrial System.	ARES	2006	DBLP DOI BibTeX RDF	Failures, Repairs, Programmable Logic Controller (PLC), Semi-Markov Process, Regenerative process
1	Xiaojuan Ren, Seyong Lee, Rudolf Eigenmann, Saurabh Bagchi	Resource Availability Prediction in Fine-Grained Cycle Sharing Systems.	HPDC	2006	DBLP DOI BibTeX RDF	domain-specific resource behavior, resource availability prediction, fine-grained cycle sharing system, iShare FGCS system, semiMarkov process, generic hardware-software failure, fault tolerance, Internet
1	Christopher Griffin, Bharat B. Madan, Kishor S. Trivedi	State Space Approach to Security Quantification.	COMPSAC	2005	DBLP DOI BibTeX RDF
1	Zainab R. Zaidi, Brian L. Mark	Real-Time Mobility Tracking Algorithms for Cellular Networks Based on Kalman Filtering.	IEEE Trans. Mob. Comput.	2005	DBLP DOI BibTeX RDF	pilot signal strengths, Kalman filter, mobility model, Cellular networks, geolocation
1	Yujuan Bao, Xiaobai Sun, Kishor S. Trivedi	A workload-based analysis of software aging, and rejuvenation.	IEEE Transactions on Reliability	2005	DBLP DOI BibTeX RDF
1	Changyeol Choi, Sungsoo Kim	Self-configuring Algorithm for Software Fault Tolerance in (n, k)-way Cluster Systems.	ICCSA	2003	DBLP DOI BibTeX RDF
1	Hsien-Ming Tsai, Yi-Bing Lin	Modeling Wireless Local with General Call Holding Times and Finite Number of Subscribers.	IEEE Trans. Computers	2002	DBLP DOI BibTeX RDF	Engset product form, supplemented generalized semi-Markov process, wireless local loop, Loss probability
1	Sorin Manolache, Petru Eles, Zebo Peng	Schedulability analysis of multiprocessor real-time applications with stochastic task execution times.	ICCAD	2002	DBLP DOI BibTeX RDF
1	Christoph Lindemann, Axel Thümmler, Alexander Klemm, Marco Lohmann, Oliver P. Waldhorst	Performance analysis of time-enhanced UML diagrams based on stochastic processes.	Workshop on Software and Performance	2002	DBLP DOI BibTeX RDF	QoS performance modeling, model evaluation techniques, tools and techniques, transient and steady-state analysis of generalized semi-Markov processes
1	Philippe Nain, R. Núñez Queija	A M/M/q queue in a semi-Markovian environment.	SIGMETRICS/Performance	2001	DBLP DOI BibTeX RDF	Riemann-Hilbert boundary value problem, aueueing, communication networks, stochastic modeling, long-range dependence, heavy-tailed distribution, bursty traffic
1	Tadashi Dohi, Takashi Danjou, Hiroyuki Okamura	Optimal Software Rejuvenation Policy with Discounting.	PRDC	2001	DBLP DOI BibTeX RDF	semi-Mark v process, modified TTT statistics, estimation algorithm, cost model, software rejuvenation, preventive maintenance
1	Hisashi Kobayashi, Shun-Zheng Yu, Brian L. Mark	An integrated mobility and traffic model for resource allocation in wireless networks.	WOWMOM	2000	DBLP DOI BibTeX RDF	mobility, wireless networks, resource allocation, admission control, traffic modeling
1	Jan Lunze	Diagnosis of Quantised Systems by Means of Timed Discrete-Event Representations.	HSCC	2000	DBLP DOI BibTeX RDF
1	Henrik C. Bohnenkamp, Boudewijn R. Haverkort	Semi-numerical Solution of Stochastic Process Algebra Models.	ARTS	1999	DBLP DOI BibTeX RDF
1	M. Valent, Z. Lovász	Generalized Semi-Markov Process Model of Asynchronous Automatic Assembly System with Simultaneous Resource Possession Property, the Statement of the Perturbation Analysis Algorithm.	Computers and Artificial Intelligence	1997	DBLP BibTeX RDF
1	Duan-Shin Lee	Analysis of a single server queue with semi-Markovian service interruption.	Queueing Syst.	1997	DBLP DOI BibTeX RDF	service interruption, boundary value problems, single server queue
1	Vidyadhar G. Kulkarni, Lindsey C. Puryear	Stability and queueing time analysis of a reader-writer queue with alternating exhaustive priorities.	Queueing Syst.	1995	DBLP DOI BibTeX RDF	Reader-writer queue, alternating priority, M/G/ queue, concurrency control, locking, semi-Markov process, M/G/1 queue
1	Genji Yamazaki, Masakiyo Miyazawa	Decomposability in queues with background states.	Queueing Syst.	1995	DBLP DOI BibTeX RDF	RGSMP, moving server queue, symmetric service discipline, random environment, insensitivity, Decomposability
1	Phillip F. Chimento Jr., Kishor S. Trivedi	The Completion Time of Programs on Processors Subject to Failure and Repair.	IEEE Trans. Computers	1993	DBLP DOI BibTeX RDF	server behavior, nonexponential repair-time distributions, job completion time, Laplace-Stieltjes transform, failure-repair models, multistate computer systems, performance evaluation, fault tolerant computing, Markov processes, fault-tolerant system, preemptions, semi-Markov process, computer performance, Laplace transforms, closed-form expression
1	Kang G. Shin, Chao-Ju Hou	Analytic Models of Adaptive Load Sharing Schemes in Distributed Real-Time Systems.	IEEE Trans. Parallel Distrib. Syst.	1993	DBLP DOI BibTeX RDF	decentralised load sharing, continuous time semiMarkov process, adaptive load sharing schemes, nonuniform task arrivals, dynamic load sharing, random selection, cumulative execution time, commonly-used queue length, Bayesian decision mechanism, probability ofdynamic failure, simulation, real-time systems, distributed processing, queueing theory, analytic models, decision theory, Bayes methods, distributed real-time systems, queuing models, performanceevaluation
1	Rajeev Alur, Costas Courcoubetis, David L. Dill	Verifying Automata Specifications of Probabilistic Real-time Systems.	REX Workshop	1991	DBLP DOI BibTeX RDF	Real-time, Automatic verification, Probabilistic systems
1	Ashwani K. Ramani, N. Gore, Pramod C. Sharma, Pradip K. Chande	Performance analysis of hierarchically structured multiple bus multiprocessor system.	SPDP	1990	DBLP DOI BibTeX RDF
1	Pradip K. Chande, Ashwani K. Ramani, Pramod C. Sharma	Modeling and Analysis of Multiprocessor Systems with Priority and Multiple Recources Allocation to the Tasks.	PARLE	1989	DBLP DOI BibTeX RDF
1	U. Narayan Bhat, Richard E. Nance	Busy Period Analysis of a Time-Sharing System Modeled as a Semi-Markov Process.	J. ACM	1971	DBLP DOI BibTeX RDF