4224 search results - page 357 / 845 » Reasoning about Choice |
171
click to vote
WETICE
1996
IEEE
15 years 11 months ago
1996
IEEE
This paper explores generating and conveying confidence in enterprise security. An enterprise assurance framework provides a structure enterprise assurance evidence that strengthe...
176
click to vote
KI
1997
Springer
15 years 11 months ago
1997
Springer
Abstract. Agents situated in proactive environments are acting autonomously while the environment is evolving alongside, whether or not the agents carry out any particular actions....
170
click to vote
CHARME
1993
Springer
15 years 11 months ago
1993
Springer
To perform veri cation of digital systems with time bounded delays, it is essential to characterize the space of all possible system behaviors. In this paper, we describe our analy...
232
click to vote
ECOOP
1993
Springer
15 years 11 months ago
1993
Springer
This paper proposes a formalism for reasoning about distributed object-oriented computations. The formalism is an extension of Milner’s CCS with the notion of local time. It allo...
203
click to vote
ECOOPW
1994
Springer
15 years 11 months ago
1994
Springer
A composition language based on a formal semantic foundation will facilitate precification of glue abstractions and compositions, and will support reasoning about their behaviour....