2841 search results - page 4 / 569 » A Call to Order |
CAV
2006
Springer
15 years 1 months ago
2006
Springer
We introduce calling context graphs and various static and theorem proving based analyses that together provide a powerful method for proving termination of programs written in fea...
DAGSTUHL
2007
14 years 11 months ago
2007
Although the house call a decade ago was declared a vanishing practice, statistics show an upwelling of home visits by physicians, in the developed countries, during the last ten y...
ICC
2007
IEEE
15 years 4 months ago
2007
IEEE
—We propose a new teletraffic model for the calculation of link occupancy distribution and determine the call blocking probabilities and link utilization in a single-link multi-r...
81
Voted
JNW
2008
14 years 9 months ago
2008
The performance of any cellular wireless network, as well as its revenue (number of customers using the network, and their degree of satisfaction) is determined to a great extent b...
KBSE
2007
IEEE
15 years 3 months ago
2007
IEEE
This paper presents a tool that (i) constructs tree-based models of a program’s behavior during testing and (ii) employs these trees while reordering and reducing a test suite. ...