2419 search results - page 406 / 484 » Modeling Spatio-temporal Network Computations: A Summary of ... |
DSN
2007
IEEE
14 years 1 months ago
2007
IEEE
Model-checking of asynchronous distributed protocols is challenging because of the large size of the state and solution spaces. This paper tackles this problem in the context of l...
PERCOM
2010
ACM
13 years 11 months ago
2010
ACM
We present an unsupervised speaker identification system for personal annotations of conversations and meetings. The system dynamically learns new speakers and recognizes already k...
DSOM
2008
Springer
13 years 11 months ago
2008
Springer
Incident Management is the process through which IT support organizations manage to restore normal service operation after a service disruption. The complexity of IT support organi...
JIRS
2008
13 years 9 months ago
2008
Abstract This paper proposes an approach for reducing the computational complexity of a model-predictive-control strategy for discrete-time hybrid systems with discrete inputs only...
QUESTA
2010
13 years 7 months ago
2010
Motivated by scheduling in cellular wireless networks and resource allocation in computer systems, we study a service facility with two classes of users having heterogeneous servi...