1975 search results - page 177 / 395 » Property analysis and design understanding |
182
click to vote
DEXA
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. The labeling problem of dynamic XML documents has received increasing research attention. When XML documents are subject to insertions and deletions of nodes, it is impor...
154
click to vote
ICN
2007
Springer
16 years 25 days ago
2007
Springer
—PlanetLab is a globally distributed overlay platform that has been increasingly used by researchers to deploy and assess planetary-scale network services. This paper analyzes so...
197
click to vote
COORDINATION
2006
Springer
15 years 10 months ago
2006
Springer
Process algebraic specifications can provide useful support for the architectural design of software systems due to the possibility of analyzing their properties. In addition to th...
172
click to vote
CCR
2008
15 years 6 months ago
2008
Modeling Internet growth is important both for understanding the current network and to predict and improve its future. To date, Internet models have typically attempted to explai...
190
click to vote
ICSE
2009
IEEE-ACM
15 years 4 months ago
2009
IEEE-ACM
Self-adaptability has been proposed as an effective approach to automate the complexity associated with the management of modern-day software systems. While over the past decade w...