4224 search results - page 112 / 845 » Reasoning about Choice |
251
click to vote
LAWEB
2006
IEEE
15 years 11 months ago
2006
IEEE
Complex applications, in particular Web applications, deal with a myriad of different concerns and some of them affect several others. The result is that these crosscutting concer...
155
Voted
CONCUR
2003
Springer
15 years 10 months ago
2003
Springer
Patterns of Compositional Reasoning Nina Amla1 , E. Allen Emerson2 , Kedar Namjoshi3 , and Richard Trefler4 1 Cadence Design Systems 2 Univ. of Texas at Austin 3 Bell Labs, Lucent...
156
click to vote
CONCUR
2004
Springer
15 years 11 months ago
2004
Springer
In this paper we show how a resource-oriented logic, separation logic, can be used to reason about the usage of resources in concurrent programs.
142
click to vote
DLOG
1997
15 years 6 months ago
1997
Abstract: This paper presents a theoretical basis for terminological reasoning about objects and their qualitative spatial relationships. In contrast to existing work, which mainly...
141
click to vote
ADC
2004
Springer
15 years 11 months ago
2004
Springer
Forms are the most common way to interface users and Web-based applications. Traditional forms cannot provide the functionality needed to fulfil the requirements of complex appli...