|
Journals in DBLP
- Jeremy T. Bradley, William J. Knottenbelt
Preface. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2005, v:128, n:4, pp:1-2 [Journal]
- Nil Geisweiller, Jeremie Bonte
Performance Evaluation of a Real-time Simulation Architecture using Probabilistic Model Checking. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2005, v:128, n:4, pp:3-24 [Journal]
- Gábor Horváth, Miklós Telek
Analysis of a BMAP/D/1-Timer Multiplexer. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2005, v:128, n:4, pp:25-44 [Journal]
- Nigel Thomas
Performability of a Secure Electronic Voting Algorithm. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2005, v:128, n:4, pp:45-58 [Journal]
- Carlo Bellettini, Lorenzo Capra, Mattia Monga
Quantitative Assessment of a Peer-to-peer Cooperative Infrastructure Using Stochastic Well-Formed Nets. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2005, v:128, n:4, pp:59-77 [Journal]
- Rossano Gaeta, Marco Gribaudo, Daniele Manini, Matteo Sereno
Fluid Stochastic Petri Nets for Computing Transfer Time Distributions in Peer-to-Peer File Sharing Applications. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2005, v:128, n:4, pp:79-99 [Journal]
- Lucas Baldo, Leonardo Brenner, Luiz Gustavo Fernandes, Paulo Fernandes, Afonso Sales
Performance Models For Master/Slave Parallel Programs. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2005, v:128, n:4, pp:101-121 [Journal]
- Mikael Buchholtz, Stephen T. Gilmore, Jane Hillston, Flemming Nielson
Securing Statically-verified Communications Protocols Against Timing Attacks. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2005, v:128, n:4, pp:123-143 [Journal]
- Peter G. Harrison, Soraya Zertal
Calibration of a Queueing Model of RAID Systems. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2005, v:128, n:4, pp:145-164 [Journal]
|