10890 search results - page 115 / 2178 » Automatic Complexity Analysis |
143
click to vote
SMC
2007
IEEE
15 years 8 months ago
2007
IEEE
—Rooted in a deep understanding of their major properties, a control paradigm for complex systems is proposed based on latest advances in modeling the dynamics of complex network...
124
click to vote
AAECC
2005
Springer
15 years 2 months ago
2005
Springer
Abstract In [24], a new size-change principle was proposed to verify termination of functional programs automatically. We extend this principle in order to prove termination and in...
132
click to vote
CSMR
2010
IEEE
14 years 9 months ago
2010
IEEE
Abstract--Building comprehensive test suites for web applications poses new challenges in software testing. Coverage criteria used for traditional systems to assess the quality of ...