Sciweavers

2044 search results - page 102 / 409
» System theory for numerical analysis
Sort
View
EOR
2008
106views more  EOR 2008»
15 years 4 months ago
Analysis of a discrete-time preemptive resume priority buffer
In this paper, we analyze a discrete-time preemptive resume priority queue. We consider two classes of customers which have to be served, where customers of one class have preempt...
Joris Walraevens, Bart Steyaert, Herwig Bruneel
JCIT
2010
98views more  JCIT 2010»
14 years 11 months ago
Reliability Analysis of the MAP/M/c Queue with Server Breakdowns
We consider the MAP/M/c queue with markovian flow of breakdowns. There are K waiting positions for arrival customers in the system. The system we consider comprises c servers, of ...
Zonghao Zhou, Yijuan Zhu
HICSS
2003
IEEE
167views Biometrics» more  HICSS 2003»
15 years 9 months ago
Discovering Group Interaction Patterns in a Teachers Professional Community
Managers and group leaders of a community may not have enough information to help them direct the community development. In this paper, we adopt social network analysis, graph the...
Fu-ren Lin, Chun-Hung Chen, Kuo-Lung Tsai
STACS
2009
Springer
15 years 11 months ago
Forward Analysis for WSTS, Part I: Completions
Well-structured transition systems provide the right foundation to compute a finite basis of the set of predecessors of the upward closure of a state. The dual problem, to compute...
Alain Finkel, Jean Goubault-Larrecq
IFIP
2010
Springer
14 years 11 months ago
A Calculus for the Analysis of Wireless Network Security Protocols
We propose a timed broadcasting calculus for wireless systems. The operational semantics of our calculus is given both in terms of a Reduction Semantics and in terms of a Labelled ...
Francesco Ballardin, Massimo Merro