7536 search results - page 1198 / 1508 » Localized Components Analysis |
133
click to vote
DEBS
2007
ACM
15 years 10 months ago
2007
ACM
Recently, the publish-subscribe communication model has attracted the attention of developers as a viable alternative to traditional communication schemas, like request/reply, for...
156
click to vote
BIBE
2004
IEEE
15 years 10 months ago
2004
IEEE
Cervical cancer is common among women all over the world. Although infection with high-risk types of human papillomavirus (HPV) has been identified as the primary cause of cervical...
163
click to vote
CLUSTER
2004
IEEE
15 years 10 months ago
2004
IEEE
In multicluster systems, and more generally, in grids, jobs may require co-allocation, i.e., the simultaneous allocation of resources such as processors and input files in multipl...
196
click to vote
CSMR
2004
IEEE
15 years 10 months ago
2004
IEEE
Combining static and dynamic information is highly relevant in many reverse engineering, program comprehension and maintenance task. Dynamic analysis is particularly effective whe...
175
click to vote
CAV
2006
Springer
15 years 10 months ago
2006
Springer
We present an approach for applying symmetry reduction techniques to probabilistic model checking, a formal verification method for the quantitative analysis of systems with stocha...