515 search results - page 5 / 103 » Towards a computational transportation science |
SIGCSE
2004
ACM
14 years 1 months ago
2004
ACM
Educators are increasingly acknowledging that practical problems in computer science demand basic competencies in experimentation and data analysis. However, little effort has bee...
CORR
2010
Springer
13 years 8 months ago
2010
Springer
Abstract--This paper proposes a method for deriving formal specifications of systems. To accomplish this task we pass through a non trivial number of steps, concepts and tools wher...
GI
2007
Springer
14 years 2 months ago
2007
Springer
: Very few research efforts have been spent on the coordination of plans and operations of independent carriers in an intermodal transportation chain. The impact of this lack of co...
247
click to vote
Lab
Division for foundations of software led by Professor Minoru Ito in graduate school of information science at Nara Institute of Science and Technology, JAPAN, is engaged in researc...
MOBIHOC
2003
ACM
14 years 8 months ago
2003
ACM
Existing works have approached the problem of reliable transport in ad-hoc networks by proposing mechanisms to improve TCP's performance over such networks. In this paper we ...