1151 search results - page 20 / 231 » Collaborative Programming: Applications of Logic and Automat... |
LICS
2003
IEEE
15 years 3 months ago
2003
IEEE
Access control is central to security in computer systems. Over the years, there have been many efforts to explain and to improve access control, sometimes with logical ideas and ...
ICCBR
2001
Springer
15 years 2 months ago
2001
Springer
Abstract. Distributed case-based reasoning architectures have the potential to improve the overall performance of case-based reasoning systems. In this paper we describe a collabor...
TPHOL
1998
IEEE
15 years 2 months ago
1998
IEEE
Abstraction in a Higher-Order Logic Framework Marco Benini Sara Kalvala Dirk Nowotka Department of Computer Science University of Warwick, Coventry, CV4 7AL, United Kingdom We pres...
ECSQARU
1997
Springer
15 years 1 months ago
1997
Springer
Abstract. Temporal programming languages are recognized as natural and expressive formalisms for describing dynamic systems. However, most such languages are based on linear ow of ...
102
click to vote
CSL
2006
Springer
15 years 1 months ago
2006
Springer
A complete and decidable propositional logic for reasoning about states of probabilistic sequential programs is presented. The state logic is then used to obtain a sound Hoare-styl...