357 search results - page 25 / 72 » Toward a Theory of Behavioral Operations |
SACMAT
2006
ACM
15 years 7 months ago
2006
ACM
The growing importance of access control has led to the definition of numerous languages for specifying policies. Since these languages are based on different foundations, langua...
125
click to vote
CADE
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. While many higher-order interactive theorem provers include a choice operator, higher-order automated theorem provers currently do not. As a step towards supporting autom...
CCIA
2009
Springer
15 years 3 months ago
2009
Springer
Abstract. The operation of base contraction was successfully characterized for a very general class of logics using the notion of remainder sets. Although, in the general case, thi...
105
click to vote
CHI
2008
ACM
16 years 2 months ago
2008
ACM
This paper describes the design and interprets the results of a survey of 435 undergraduate students concerning the attitudes of this mainly millennial population towards sustaina...
136
click to vote
WWW
2009
ACM
16 years 2 months ago
2009
ACM
Giving suggestions to users of Web-based services is a common practice aimed at enhancing their navigation experience. Major Web Search Engines usually provide Suggestions under t...