35 search results - page 6 / 7 » eurocast 2007 |
EUROCAST
2007
Springer
13 years 9 months ago
2007
Springer
Abstract. Computer viruses and worms are major threats for our computer infrastructure, and thus, for economy and society at large. Recent work has demonstrated that a model checki...
EUROCAST
2007
Springer
13 years 11 months ago
2007
Springer
Increasingly, e-learning platforms are being implemented at various educational levels as a form of teaching support. In addition to promoting flexibility in teaching and to permit...
EUROCAST
2007
Springer
13 years 11 months ago
2007
Springer
In the context of Intelligent Transportation Systems based on driverless vehicles, one important issue is the passing of a crossroads. This paper presents a supervised reservation ...
EUROCAST
2007
Springer
13 years 11 months ago
2007
Springer
Abstract. We report computer-aided modeling and simulation of evolution in biological systems with living organisms as effect of extremum properties of classical statistical entro...
EUROCAST
2007
Springer
13 years 11 months ago
2007
Springer
After the detection of the first extrasolar planet (exoplanet) more than one decade ago we currently know about more than 200 planets around other stars and there are about twenty...