949 search results - page 17 / 190 » Relating Imperatives to Action |
REX
1989
13 years 11 months ago
1989
In this paper we further develop the methodology of temporal logic as an executable imperative language, presented by Moszkowski [Mos86] and Gabbay [Gab87, Gab89] and present a con...
ESOP
2000
Springer
13 years 11 months ago
2000
Springer
Abstract. We propose a new type discipline for the -calculus in which secure information flow is guaranteed by static type checking. Secrecy levels are assigned to channels and are...
ISMIS
2003
Springer
14 years 22 days ago
2003
Springer
T his paper outlines a formal theory for de fining action concepts in taxonomical knowledge representation languages, in a form closely related to description logics. The central p...
ECIS
2003
13 years 9 months ago
2003
One of the most important qualities related to the use of information systems is arguably the usability achieved in actual use-situations. Three central criteria for usability as ...
WOLLIC
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. This paper presents a new version of the CL contract specification language. CL combines deontic logic with propositional dynamic logic but it applies the modalities exc...