692 search results - page 93 / 139 » Some research questions for computational transportation sci... |
KDID
2003
14 years 11 months ago
2003
d abstract) Floris Geerts, Bart Goethals, and Taneli Mielik¨ainen HIIT Basic Research Unit Department of Computer Science University of Helsinki, Finland Abstract. Recent studies ...
ACSC
2008
IEEE
15 years 4 months ago
2008
IEEE
Recent research initiatives have addressed the need for improved performance of Web page prediction accuracy that would profit many applications, ebusiness in particular. Differ...
CSE
2008
IEEE
15 years 4 months ago
2008
IEEE
Abstract— Several applications have been proposed for Wireless sensor networks. These include habitat monitoring, structural health monitoring, pipeline (gas, water, and oil) mon...
GI
2004
Springer
15 years 3 months ago
2004
Springer
: Critical industrial applications or fault tolerant applications need for operating systems (OS) which guarantee a correct and safe behaviour despite the appearance of errors. In ...
SPIN
2001
Springer
15 years 2 months ago
2001
Springer
Abstract. Model checking real programs has recently become an active research area. Programs however exhibit two characteristics that make model checking di cult: the complexity of...