661 search results - page 37 / 133 » What Can We Expect from Program Verification |
EMMCVPR
2001
Springer
14 years 1 months ago
2001
Springer
By exploiting an analogy with averaging procedures in fluid dynamics, we present a set of averaged template matching equations. These equations are analogs of the exact template m...
ECOOP
2003
Springer
14 years 1 months ago
2003
Springer
Despite Java’s automatic reclamation of memory, memory leaks remain an important problem. For example, we frequently encounter memory leaks that cause production servers to crash...
CLIMA
2004
13 years 10 months ago
2004
Communication plays a fundamental role in multi-agents systems. One of the main issues in the design of agent interaction protocols is the verification that a given protocol implem...
IWPC
2008
IEEE
14 years 3 months ago
2008
IEEE
Software maintenance tasks typically involve an important amount of program investigation effort on the part of software developers. To what extent can we benefit from prior prog...
ICMCS
2006
IEEE
14 years 2 months ago
2006
IEEE
Wearable physiological sensors can provide a faithful record of a patient’s physiological states without constant attention of caregivers. A computer program that can infer huma...