1737 search results - page 173 / 348 » On Interpolation in Existence Logics |
161
click to vote
OOPSLA
2007
Springer
16 years 1 months ago
2007
Springer
Accidental mutation is a major source of difficult-to-detect errors in object-oriented programs. We have built tools that detect and prevent such errors. The tools include a java...
183
click to vote
SOFSEM
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. The dependency pair method is a powerful method for automatically proving termination of rewrite systems. When used with traditional simplification orders like LPO and K...
172
click to vote
BIRTHDAY
2005
Springer
16 years 22 days ago
2005
Springer
To get a better understanding of the influence of the media on current political events, researchers in Communication Science have recently reported on several case studies, in w...
152
click to vote
KR
2004
Springer
16 years 16 days ago
2004
Springer
The situation calculus, as proposed by McCarthy and Hayes, and developed over the last decade by Reiter and co-workers, is reconsidered. A new logical variant is proposed that cap...
202
click to vote
COMPSAC
2003
IEEE
16 years 14 days ago
2003
IEEE
Securely accessing unfamiliar services in public environments using ad hoc wireless networks is challenging. We present a proxy-based approach that uses other existing network cha...