6308 search results - page 852 / 1262 » Modeling Urgency in Timed Systems |
222
click to vote
BIS
2009
15 years 8 months ago
2009
Abstract. The quality of today's digital maps is very high. This allows for new functionality as illustrated by modern car navigation systems (e.g., TomTom, Garmin, etc.), Goo...
209
click to vote
KDD
2009
ACM
16 years 7 months ago
2009
ACM
The increasing availability of electronic communication data, such as that arising from e-mail exchange, presents social and information scientists with new possibilities for char...
176
click to vote
SPIN
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. We report on the use of model checking techniques for both the verification of a process control program and the derivation of optimal control schedules. Most of this wor...
171
click to vote
WSC
2000
15 years 8 months ago
2000
In 1999, Kellogg Company needed to rationalize its area manufacturing capacity. A significant portion of the production was moved between Kellogg manufacturing plants. Simulation ...
172
click to vote
WSC
1997
15 years 8 months ago
1997
We describe our experiences designing and implementing a virtual PNNI network testbed. The network elements and signaling protocols modeled are consistent with the ATM Forum PNNI ...