1743 search results - page 235 / 349 » Generalized Modal Satisfiability |
145
click to vote
MM
2005
ACM
15 years 10 months ago
2005
ACM
Subjectively perceived video quality is a critical factor when adopting new mobile video applications. When video is used in mobile networks the most important requirements are re...
167
Voted
SIGCOMM
2005
ACM
15 years 10 months ago
2005
ACM
This paper introduces a lightweight, scalable and accurate framework, called Meridian, for performing node selection based on network location. The framework consists of an overla...
134
Voted
SIGECOM
2005
ACM
15 years 10 months ago
2005
ACM
This paper initiates research on the foundations of ranking systems, a fundamental ingredient of basic e-commerce and Internet Technologies. In order to understand the essence and...
115
click to vote
EMSOFT
2005
Springer
15 years 10 months ago
2005
Springer
Run-time communication management in a Network-on-Chip (NoC) is a challenging task. On one hand, the NoC needs to satisfy the communication requirements (e.g. throughput) of runni...
160
click to vote
FASE
2005
Springer
15 years 10 months ago
2005
Springer
This work defines several control-flow coverage criteria for testing the interactions among a set of collaborating objects. The criteria are based on UML sequence diagrams that a...