9067 search results - page 1625 / 1814 » Adaptive Model Checking |
231
click to vote
GECCO
2007
Springer
16 years 1 months ago
2007
Springer
This paper investigates the impacts of individual egoistic and altruistic behaviors in a virtual society built upon the Vidya game, used here as the social simulation and Multiage...
205
click to vote
IBPRIA
2007
Springer
16 years 1 months ago
2007
Springer
Detection of lane markings based on a camera sensor can be a low cost solution to lane departure and curve over speed warning. A number of methods and implementations have been rep...
172
click to vote
ICCS
2007
Springer
16 years 1 months ago
2007
Springer
Wireless Mesh Networks with static Transit Access Points (TAPs) have many advantages to connect different kinds of networks. While Mobile Ad hoc Networks still have many challenges...
174
click to vote
ICISS
2007
Springer
16 years 1 months ago
2007
Springer
This paper reports the results of our experimentation with modeling worm behavior on a large scale, fully adaptable network simulator. Our experiments focused on areas of worm scan...
160
click to vote
ICMI
2007
Springer
16 years 1 months ago
2007
Springer
In this paper, we describe the enabling technologies to develop a smart meeting system based on a three layered generic model. From physical level to semantic level, it consists o...