Sciweavers

27913 search results - page 5579 / 5583
» Simulation
Sort
View
SCHULE
2007
Springer
14 years 25 days ago
Lehrarrangements in der Informatiklehrerausbildung
: Lehramtsstudien sollen auf die spätere Tätigkeit als Lehrer vorbereiten. Diese Vorbereitung darf sich nicht im Vermitteln fachlicher Kenntnisse erschöpfen, sondern muss auch d...
Peter K. Antonitsch, U. Lassernig, A. Söllei
QEST
2005
IEEE
14 years 8 days ago
iLTLChecker: A Probabilistic Model Checker for Multiple DTMCs
iLTL is a probabilistic temporal logic that can specify properties of multiple discrete time Markov chains (DTMCs). In this paper, we describe two related tools: MarkovEstimator a...
YoungMin Kwon, Gul A. Agha
SIGCOMM
2005
ACM
14 years 8 days ago
Idle sense: an optimal access method for high throughput and fairness in rate diverse wireless LANs
We consider wireless LANs such as IEEE 802.11 operating in the unlicensed radio spectrum. While their nominal bit rates have increased considerably, the MAC layer remains practica...
Martin Heusse, Franck Rousseau, Romaric Guillier, ...
MOBICOM
2004
ACM
14 years 4 days ago
Denial of service resilience in ad hoc networks
Significant progress has been made towards making ad hoc networks secure and DoS resilient. However, little attention has been focused on quantifying DoS resilience: Do ad hoc ne...
Imad Aad, Jean-Pierre Hubaux, Edward W. Knightly
SASN
2004
ACM
14 years 4 days ago
Securing quality-of-service route discovery in on-demand routing for ad hoc networks
An ad hoc network is a collection of computers (nodes) that cooperate to forward packets for each other over a multihop wireless network. Users of such networks may wish to use de...
Yih-Chun Hu, David B. Johnson
« Prev « First page 5579 / 5583 Last » Next »