2897 search results - page 180 / 580 » Test Case Integration: From Components to Systems |
149
click to vote
ICALP
2010
Springer
15 years 8 months ago
2010
Springer
A discrete distribution D over Σ1 × · · · × Σn is called (non-uniform) k-wise independent if for any set of k indexes {i1, . . . , ik} and for any z1 ∈ Σi1 , . . . , zk ...
140
Voted
TAP
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. This paper extends dynamic symbolic execution to distributed and concurrent systems. Dynamic symbolic execution can be used in software testing to systematically identify...
121
Voted
CORR
2010
Springer
15 years 13 days ago
2010
Springer
Modeling ranked data is an essential component in a number of important applications including recommendation systems and websearch. In many cases, judges omit preference among un...
132
click to vote
HPCC
2005
Springer
15 years 9 months ago
2005
Springer
For future generation Grids to be truly pervasive we need to allow for the integration of mobile devices, in order to leverage available resources and broaden the range of supplie...
143
Voted
USITS
2001
15 years 5 months ago
2001
Ubiquitous access to sophisticated internet services from diverse end devices across heterogeneous networks requires the injection of additional functionality into the network to ...