69 search results - page 13 / 14 » ase 2007 |
143
Voted
NSDI
2007
15 years 6 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...
116
Voted
KBSE
2008
IEEE
15 years 10 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...
137
Voted
EISWT
2007
15 years 5 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...
137
Voted
KBSE
2007
IEEE
15 years 10 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...
126
click to vote
KBSE
2007
IEEE
15 years 10 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...