4353 search results - page 710 / 871 » Expressiveness of Process Algebras |
ICMCS
2006
IEEE
15 years 4 months ago
2006
IEEE
In order to solve medical multimodal queries, we propose to split the queries in different dimensions using ontology. We extract both textual and visual terms depending on the ont...
94
Voted
ICNP
2006
IEEE
15 years 4 months ago
2006
IEEE
— This paper reports on an experiment in network protocol design: we use novel rigorous techniques in the design process of a new protocol, in a close collaboration between syste...
82
Voted
ICSM
2006
IEEE
15 years 4 months ago
2006
IEEE
The test case execution order affects the time at which the objectives of testing are met. If the objective is fault detection, an inappropriate execution order might reveal most ...
IJCNN
2006
IEEE
15 years 4 months ago
2006
IEEE
- Gene regulatory networks allow us to study and understand genes’ roles in biological processes. Among others, regulatory networks help to identify pathway initiator genes and t...
INFOCOM
2006
IEEE
15 years 4 months ago
2006
IEEE
— TCP-Friendly Rate Control (TFRC) is being adopted in Internet standards for congestion control of various streaming media applications. In this paper, we consider the transmiss...