10051 search results - page 440 / 2011 » A Dynamic Separator Algorithm |
287
click to vote
FIRBPERF
2005
IEEE
16 years 1 months ago
2005
IEEE
Web pages are created, modified and removed at unspecified times by their owners. The frequency and extent of changes to Web pages vary across sites and across pages within site...
212
click to vote
CONCUR
2005
Springer
16 years 1 months ago
2005
Springer
We introduce two abstract models for multithreaded programs based on dynamic networks of pushdown systems. We address the problem of symbolic reachability analysis for these models...
193
click to vote
FM
2005
Springer
16 years 1 months ago
2005
Springer
This paper presents an automated and compositional procedure to solve the substitutability problem in the context of evolving software systems. Our solution contributes two techniq...
216
click to vote
TACAS
2005
Springer
16 years 1 months ago
2005
Springer
Abstract. Symmetry reduction is a technique to combat the state explosion problem in temporal logic model checking. Its use with symbolic representation has suffered from the proh...
189
click to vote
WABI
2005
Springer
16 years 1 months ago
2005
Springer
We present recent developments in efficiently maintaining the boundary and surface area of protein molecules as they undergo conformational changes. As the method that we devised k...