Sciweavers

2211 search results - page 257 / 443
» The state of peer-to-peer simulators and simulations
Sort
View
IANDC
2006
117views more  IANDC 2006»
15 years 6 months ago
Statistical probabilistic model checking with a focus on time-bounded properties
Probabilistic verification of continuous-time stochastic processes has received increasing attention in the model-checking community in the past five years, with a clear focus on ...
Håkan L. S. Younes, Reid G. Simmons
IJSN
2008
114views more  IJSN 2008»
15 years 6 months ago
Adaptive clustering for scalable key management in dynamic group communications
: Group key management has received a particular attention, these last years, in both academic and industry research communities. This is due to the economical relevance of group-b...
Yacine Challal, Said Gharout, Abdelmadjid Bouabdal...
CN
2007
87views more  CN 2007»
15 years 6 months ago
Routing and quality of service support for mobile ad hoc networks
OLSR is an optimization over classical link state protocols tailored for mobile ad hoc networks. In this paper, we propose the QOLSR protocol which includes quality parameters to ...
Anelise Munaretto, Mauro Fonseca
IPL
2008
118views more  IPL 2008»
15 years 6 months ago
Slicing for modern program structures: a theory for eliminating irrelevant loops
Slicing is a program transformation technique with numerous applications, as it allows the user to focus on the parts of a program that are relevant for a given purpose. Ideally, ...
Torben Amtoft
IJBIDM
2006
78views more  IJBIDM 2006»
15 years 6 months ago
Appraisal of companies with Bayesian networks
: Appraisal of companies is an important business activity. We mainly apply Bayesian networks for this classification task for Japanese electric company data. Firstly, few standard...
Priyantha Wijayatunga, Shigeru Mase, Masanori Naka...