285 search results - page 1 / 57 » Formalization of Network Quality-of-Service Requirements |
SIGCOMM
1998
ACM
13 years 9 months ago
1998
ACM
Recent studies provide evidence that Quality ofService QoS routing can provide increased network utilization compared to routing that is not sensitive to QoS requirements of tra...
FORTE
2007
13 years 6 months ago
2007
FM
2009
Springer
13 years 2 months ago
2009
Springer
Abstract. We propose an approach to automatic verification of realtime systems against scenario-based requirements. A real-time system is modeled as a network of Timed Automata (TA...
ISARCS
2010
13 years 6 months ago
2010
Voting is a critical component of any democratic process; and electronic voting systems should be developed following best practices for critical system development. E-voting has i...
CIKM
2003
Springer
13 years 10 months ago
2003
Springer
Prior research into search system scalability has primarily addressed query processing efficiency [1, 2, 3] or indexing efficiency [3], or has presented some arbitrary system arch...