Sciweavers

380 search results - page 46 / 76
» Process Algebra and Markov Chains
Sort
View
DKE
2007
130views more  DKE 2007»
13 years 7 months ago
Enabling access-privacy for random walk based data analysis applications
Random walk graph and Markov chain based models are used heavily in many data and system analysis domains, including web, bioinformatics, and queuing. These models enable the desc...
Ping Lin, K. Selçuk Candan
CLIMA
2011
12 years 7 months ago
Verifying Team Formation Protocols with Probabilistic Model Checking
Multi-agent systems are an increasingly important software paradigm and in many of its applications agents cooperate to achieve a particular goal. This requires the design of effi...
Taolue Chen, Marta Z. Kwiatkowska, David Parker, A...
ICCAD
2002
IEEE
122views Hardware» more  ICCAD 2002»
14 years 4 months ago
Schedulability analysis of multiprocessor real-time applications with stochastic task execution times
This paper presents an approach to the analysis of task sets implemented on multiprocessor systems, when the task execution times are specified as generalized probability distrib...
Sorin Manolache, Petru Eles, Zebo Peng
LCN
2000
IEEE
13 years 12 months ago
Nonlinear Time-Series Model for VBR Video Traffic
In this paper, variable bit rate (VBR) H.261 encoded video traffic is modeled by a nonlinear time series process. A threshold autoregressive (TAR) process is of particular interes...
Jimmie L. Davis, Kavitha Chandra, Charles Thompson
ISCI
2000
98views more  ISCI 2000»
13 years 7 months ago
Quantum decision-maker
A quantum device simulating human decision making process is introduced. It consists of quantum recurrent nets generating stochastic processes which represent the motor dynamics, ...
Michail Zak