3742 search results - page 548 / 749 » On the Use of Formal Techniques for Validation |
205
click to vote
MM
2005
ACM
16 years 2 days ago
2005
ACM
The inherent instability and unreliability of peer-to-peer networks introduce several fundamental engineering challenges to multimedia streaming over peer-to-peer networks. First,...
174
click to vote
IMC
2004
ACM
15 years 12 months ago
2004
ACM
multiQ is a passive capacity measurement tool suitable for largescale studies of Internet path characteristics. It is the first passive tool that discovers the capacity of multip...
159
click to vote
EUROPAR
2004
Springer
15 years 12 months ago
2004
Springer
OLAP queries are typically heavy-weight and ad-hoc thus requiring high storage capacity and processing power. In this paper, we address this problem using a database cluster which...
159
click to vote
ICFEM
2004
Springer
15 years 12 months ago
2004
Springer
We present a novel approach for verifying safety properties of finite state machines communicating over unbounded FIFO channels that is based on applying machine learning techniqu...
162
click to vote
RSCTC
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Acute abdominal pain in childhood is a common but diagnostically challenging problem facing Emergency Department personnel. Experienced physicians use a combination of ke...