69 search results - page 13 / 14 » ase 2007 |
NSDI
2007
13 years 7 months ago
2007
The lack of an accurate representation of the Internet topology at the Autonomous System (AS) level is a limiting factor in the design, simulation, and modeling efforts in inter-d...
KBSE
2008
IEEE
13 years 11 months ago
2008
IEEE
Many approaches to software verification are currently semi-automatic: a human must provide key logical insights — e.g., loop invariants, class invariants, and frame axioms tha...
EISWT
2007
13 years 6 months ago
2007
As computing systems continue to grow in size and complexity, the need for self-management is becoming more prevalent. The difficulty and cost associated with the maintenance of l...
KBSE
2007
IEEE
13 years 11 months ago
2007
IEEE
Monitoring the satisfaction of software requirements and diagnosing what went wrong in case of failure is a hard problem that has received little attention in the Software and Req...
KBSE
2007
IEEE
13 years 11 months ago
2007
IEEE
Automating the generation of object-oriented unit tests is a challenging task. This is mainly due to the complexity and peculiarities that the principles of object-orientation imp...