4451 search results - page 556 / 891 » On Random Ordering Constraints |
159
click to vote
ISSRE
2003
IEEE
15 years 12 months ago
2003
IEEE
Use-cases and scenarios have been identified as good inputs to generate test cases and oracles at requirement level. Yet to have an automated generation, information is missing f...
203
click to vote
RTSS
2003
IEEE
15 years 12 months ago
2003
IEEE
Scheduling disk requests with service guarantees has to bring the demand to meet guarantees in line with the need to optimize disk utilization. This paper presents the design, imp...
148
click to vote
ISAAC
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. We define an algorithm for determining, in a linear number of symbolic steps, the biconnected components of a graph implicitly represented with Ordered Binary Decision D...
137
click to vote
IEEEMSP
2002
IEEE
15 years 11 months ago
2002
IEEE
Abstract—This paper addresses the problem of streaming packetized media over a lossy packet network through an intermediate proxy server to a client, in a rate-distortion optimiz...
165
click to vote
CSCWD
2009
Springer
15 years 11 months ago
2009
Springer
Mobile cooperative systems can facilitate cooperation by improving the flexibility of usage. However, mobile devices present some constraints that become the design and implement...