9110 search results - page 279 / 1822 » Formally-Based Design Evaluation |
211
click to vote
PE
2006
Springer
15 years 6 months ago
2006
Springer
Existing wireless networks usually provide multiple data transmission rates. This paper presents a simulation study on the performance of multiple-rate mobile ad hoc networks (MAN...
190
click to vote
AUTOMATICA
2005
15 years 6 months ago
2005
The number of states in discrete event systems can increase exponentially with respect to the size of the system. A way to face this state explosion problem consists of relaxing t...
158
click to vote
CSDA
2004
15 years 6 months ago
2004
In geographical epidemiology it is often required to produce a map of the risk of disease over a study region, a disease map. This paper reviews a variety of approaches to produce...
168
click to vote
CN
2002
15 years 6 months ago
2002
This paper describes the design and use of a synthetic Web proxy workload generator called ProWGen to investigate the sensitivity of Web proxy cache replacement policies to five se...
157
click to vote
ETS
2002
IEEE
15 years 6 months ago
2002
IEEE
Web-based learning tools provide integrated environments of various technologies to support diverse educators' and learners' needs via the Internet. This paper reports t...