586 search results - page 35 / 118 » Automated Reasoning on Aspects Interactions |
99
Voted
CSL
2004
Springer
15 years 4 months ago
2004
Springer
Using separation logic, this paper presents three Hoare logics (corresponding to different notions of correctness) for the simple While language extended with commands for heap acc...
92
Voted
DLOG
2008
15 years 2 months ago
2008
Abstract. We propose an approach for extending a tableau-based satisfiability algorithm by an arithmetic component. The result is a hybrid satisfiability algorithm for the Descript...
89
Voted
CSL
2008
Springer
15 years 2 months ago
2008
Springer
We present a game-based semantic framework in which the time complexity of any IMELL proof can be read out of its interpretation. This gives a compositional view of the geometry of...
106
click to vote
CSL
2002
Springer
15 years 8 days ago
2002
Springer
In this paper, we describe a generation system for spoken dialogue that not only produces coherent, informative and responsive dialogue contributions, but also explicitly models h...
89
Voted
JUCS
2008
15 years 13 days ago
2008
: Most today's web sources do not provide suitable interfaces for software programs to interact with them. Many researchers have proposed highly effective techniques to addres...