183
click to vote
LICS
15 years 6 months ago
2003 IEEE 
Probability features increasingly often in software and hardware systems: it is used in distributed co-ordination and routing problems, to model fault-tolerance and performance, a...
111
click to vote
LICS
15 years 6 months ago
2003 IEEE 
We show that the decomposition of Intuitionistic Logic into Linear Logic along the equation ´ may be adapted into a decomposition of classical logic into LLP, the polarized versi...
121
click to vote
LICS
15 years 6 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 ...
106
click to vote
LICS
15 years 6 months ago
2003 IEEE 
This paper reports on and discusses three notions of approximation for Labelled Markov Processes that have been developed last year. The three schemes are improvements over former...
LICS
15 years 6 months ago
2003 IEEE  |
Automated Reasoning