5639 search results - page 394 / 1128 » Timed Abstract Non-interference |
143
click to vote
CEFP
2005
Springer
15 years 10 months ago
2005
Springer
This chapter describes Hume: a functionally-based language for programming with bounded resource usage, including time and space properties. The purpose of the Hume language design...
110
click to vote
NORMAS
2005
Springer
15 years 10 months ago
2005
Springer
In order to regulate different circumstances over an extensive period of time, norms in institutions are stated in a vague and biguous manner, thereby abstracting from concrete as...
119
click to vote
PLILP
1993
Springer
15 years 8 months ago
1993
Springer
Chaotic iteration sequences is a method for approximating fixpoints of monotonic functions proposed by Patrick and Radhia Cousot. It may be used in specialisation algorithms for ...
121
click to vote
KR
1992
Springer
15 years 8 months ago
1992
Springer
In this paper, we view planning as a special case of reasoning about indefinite actions. We treat actions as predicates defined over a linear temporal order. This formalism permit...
135
click to vote
CP
2006
Springer
15 years 8 months ago
2006
Springer
Distributed computing is increasingly important at a time when the doubling of the number of transistors on a processor every 18 months no longer translates in a doubling of speed ...