423 search results - page 84 / 85 » An Iterative Method to Design Traffic Flow Models |
123
click to vote
HYBRID
2010
Springer
14 years 11 months ago
2010
Springer
In this paper, we describe a receding horizon scheme that satisfies a class of linear temporal logic specifications sufficient to describe a wide range of properties including saf...
119
click to vote
FOSSACS
2001
Springer
15 years 1 months ago
2001
Springer
Hierarchical Message Sequence Charts are a well-established formalism to specify telecommunication protocols. In this model, numerous undecidability results were obtained recently ...
WCE
2007
14 years 10 months ago
2007
Abstract—The seismic response of bridges seismically isolated by lead-rubber bearings (LRB) to earthquake excitations of different magnitudes is presented in this thesis. The fo...
OOPSLA
2007
Springer
15 years 3 months ago
2007
Springer
Objects often define usage protocols that clients must follow in order for these objects to work properly. Aliasing makes it notoriously difficult to check whether clients and i...
ESSMAC
2003
Springer
15 years 2 months ago
2003
Springer
Abstract. We consider a linear system, such as an estimator or a controller, in which several signals are transmitted over wireless communication channels. With the coding and medi...