10038 search results - page 551 / 2008 » Model Checking for Managers |
194
click to vote
MSOM
2007
15 years 6 months ago
2007
New currency recirculation guidelines implemented by the Federal Reserve System (Fed) of the United States are intended to reduce the overuse of its currency processing services b...
188
click to vote
SIGACT
2010
15 years 1 months ago
2010
Over the past decade, there has been great interest in the study of buffer management policies in the context of packet transmission for network switches. In a typical model, a sw...
200
click to vote
INFOCOM
2007
IEEE
16 years 1 months ago
2007
IEEE
—We propose a distributed scheduling and active queue management mechanism for wireless ad hoc networks. The approach is based on a random access scheduler where the transmission...
187
click to vote
DEXA
2004
Springer
16 years 17 days ago
2004
Springer
One of the key research issues with moving objects databases (MOD) is the uncertainty management problem. In this paper, we discuss how the uncertainty of network constrained movin...
153
click to vote
IBERAMIA
2004
Springer
16 years 17 days ago
2004
Springer
In order to increase the role of machines in supporting more capabilities as regards a spoken dialogue system, we present in this paper a new problem incorporating multi-session in...