504 search results - page 37 / 101 » Explaining Verification Conditions |
AADEBUG
2005
Springer
14 years 1 months ago
2005
Springer
One of today’s challenges is producing reliable software in the face of an increasing number of interacting components. Our system CHET lets developers define specifications des...
ICSE
2011
IEEE-ACM
12 years 11 months ago
2011
IEEE-ACM
—Dynamic reconfiguration – the ability to hot swap a component, or to introduce a new component into the system – is essential to supporting evolutionary change in long-live ...
ICRA
2009
IEEE
14 years 2 months ago
2009
IEEE
Abstract— In this paper, we describe the design of a deformable robot with a tensegrity structure that can crawl and we show the results of experiments showing the ability of the...
ICPADS
2005
IEEE
14 years 1 months ago
2005
IEEE
Accurate measurement and modeling of IP networks is essential for network design, planning, and management. Efforts are being made to detect the state of the network from end-to-e...
AI
2003
Springer
14 years 1 months ago
2003
Springer
We propose a new framework of explanation-oriented data mining by adding an explanation construction and evaluation phase to the data mining process. While traditional approaches c...