1220 search results - page 217 / 244 » Dependent classes |
145
click to vote
EMISA
2009
Springer
16 years 16 days ago
2009
Springer
: This keynote reports on a new class of processes - so called fluid processes - whose ”engineering” and ”use” is indistinguishable. Fluid processes are continually being ...
198
click to vote
FSTTCS
2009
Springer
16 years 16 days ago
2009
Springer
The paper focuses on the structure of fundamental sequences of ordinals smaller than ε0. A first result is the construction of a monadic second-order formula identifying a given ...
174
click to vote
IWOCA
2009
Springer
16 years 16 days ago
2009
Springer
: We present an improved upper bound of O(d1+ 1 m−1 ) for the (2, F)-subgraph chromatic number χ2,F (G) of any graph G of maximum degree d. Here, m denotes the minimum number of...
160
click to vote
ISSTA
2009
ACM
16 years 15 days ago
2009
ACM
Mixed concrete and symbolic execution is an important technique for finding and understanding software bugs, including securityrelevant ones. However, existing symbolic execution...
199
click to vote
SIGMETRICS
2009
ACM
16 years 15 days ago
2009
ACM
Disseminating a piece of information, or updates for a piece of information, has been shown to benefit greatly from simple randomized procedures, sometimes referred to as gossipi...