1716 search results - page 36 / 344 » Proving Conditional Termination |
143
click to vote
FASE
2005
Springer
15 years 8 months ago
2005
Springer
Model Transformation has become central to most software engineering activities. It refers to the process of modifying a (usually graphical) model for the purpose of analysis (by i...
107
click to vote
RTA
2007
Springer
15 years 8 months ago
2007
Springer
The third Termination Competition took place in June 2006. We present the background, results and conclusions of this competition. 1 Motivation and history In the past decades seve...
116
click to vote
CSL
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. We give the first mechanized proof of the fact that for showing termination of a term rewrite system, we may restrict to well-formed terms using just the function symbols...
107
click to vote
INFOCOM
2007
IEEE
15 years 8 months ago
2007
IEEE
— Traditional Physical Carrier Sensing (PCS), which aims at eliminating hidden terminals in wireless networks, causes too many exposed terminals and deteriorates the throughput p...
124
click to vote
CDC
2010
IEEE
14 years 9 months ago
2010
IEEE
FAA's NextGen program aims at increasing the capacity of the national airspace, while ensuring the safety of aircraft. This paper provides a distributed merging and spacing al...