16822 search results - page 3002 / 3365 » Designing Simulation Experiments |
172
click to vote
QEST
2007
IEEE
16 years 1 months ago
2007
IEEE
We give an overview of GRIP, a symmetry reduction tool for the probabilistic model checker PRISM, together with experimental results for a selection of example specifications. 1 ...
180
Voted
ROBOCOMM
2007
IEEE
16 years 1 months ago
2007
IEEE
—A self-reconfigurable robot is a robotic device that can change its own shape. Self-reconfigurable robots are commonly built from multiple identical modules that can manipulat...
203
click to vote
SECON
2007
IEEE
16 years 1 months ago
2007
IEEE
—Mobile ad hoc networks (MANETs) are a critical technology in filling the gap where the network infrastructure is insufficient or does not exist at all. The dynamic topology of...
195
click to vote
SMC
2007
IEEE
16 years 1 months ago
2007
IEEE
— Since family members have their unique features when living in a smart home environment, user identifications are able to achieve without any tags. In this paper, we propose T...
209
click to vote
SP
2007
IEEE
16 years 1 months ago
2007
IEEE
Law enforcement agencies need the ability to conduct electronic surveillance to combat crime, terrorism, or other malicious activities exploiting the Internet. However, the prolif...