6059 search results - page 210 / 1212 » A Technique for Verifying Measurements |
150
click to vote
CIC
2006
15 years 8 months ago
2006
In the present paper, we outline few characteristics that every viable congestion control protocol for elastic traffic should satisfy. We provide and outline ways by which these c...
160
click to vote
ERSA
2006
15 years 8 months ago
2006
Abstract-- In this work the problem of modeling reconfigurable systems behavior with a precise, executable semantics is considered. The possibility of synthesising such models onto...
169
Voted
IADIS
2004
15 years 8 months ago
2004
A number of empirical studies of traffic measurements from a wide range of packet networks have verified that actual network traffics are self-similar or long-range dependent in n...
147
click to vote
IJCAI
2001
15 years 8 months ago
2001
The ability to generate effective evaluative arguments is critical for systems intended to advise and persuade their users. We have developed a system that generates evaluative ar...
153
click to vote
HYBRID
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. This paper introduces Periodically Controlled Hybrid Automata (PCHA) for describing a class of hybrid control systems. In a PCHA, control actions occur roughly periodical...