173 search results - page 22 / 35 » Rationality and its Roles in Reasoning (Extended Abstract) |
FSTTCS
2001
Springer
15 years 2 months ago
2001
Springer
Abstract. This paper addresses the state explosion problem in automata based LTL model checking. To deal with large space requirements we turn to use a distributed approach. All th...
90
Voted
DSVIS
1998
Springer
15 years 1 months ago
1998
Springer
Abstract. Much attention has been paid in HCI to techniques for designing systems that conform to the tasks users wish to carry out. It is often the case that such approaches rely ...
DBSEC
2010
14 years 11 months ago
2010
Abstract. We present a modelling language, called X-Policy, for webbased collaborative systems with dynamic access control policies. The access to resources in these systems depend...
175
click to vote
POPL
2009
ACM
15 years 10 months ago
2009
ACM
The call-by-need lambda calculus provides an equational framework for reasoning syntactically about lazy evaluation. This paper examines its operational characteristics. By a seri...
TLCA
2009
Springer
15 years 4 months ago
2009
Springer
Types play an important role both in reasoning about Haskell and for its implementation. For example, the Glasgow Haskell Compiler performs certain fusion transformations that are...