1347 search results - page 245 / 270 » An Approach to Software Evolution Based on Semantic Change |
108
click to vote
IV
2010
IEEE
14 years 10 months ago
2010
IEEE
In this article we present an infrastructure for creating mash up visual representations of the user profile that combines data from different sources. We explored this approach ...
103
click to vote
CSMR
2010
IEEE
14 years 6 months ago
2010
IEEE
Legacy applications are still widely spread. If a need to change deployment or update its functionality arises, it becomes difficult to estimate the performance impact of such modi...
100
click to vote
CEC
2007
IEEE
15 years 6 months ago
2007
IEEE
Abstract— Target shape design optimization problem (TSDOP) is a miniature model for real world design optimization problems. It is proposed as a test bed to design and analyze op...
137
click to vote
INFOCOM
2011
IEEE
14 years 3 months ago
2011
IEEE
—Social networks exhibit a very special property: community structure. Understanding the network community structure is of great advantages. It not only provides helpful informat...
131
click to vote
ICFP
2006
ACM
15 years 11 months ago
2006
ACM
I report on an experience using the Coq proof assistant to develop a program verification tool with a machine-checkable proof of full correctness. The verifier is able to prove me...