1941 search results - page 182 / 389 » Reasoning about Computations Using Two-Levels of Logic |
127
Voted
AGI
2008
15 years 5 months ago
2008
Inhabiting the complex and dynamic environments of modern computer games with autonomous agents capable of intelligent timely behaviour is a significant research challenge. We illu...
248
Voted
POPL
2005
ACM
16 years 3 months ago
2005
ACM
In traditional information-flow type systems, the security policy is often formalized as noninterference properties. However, noninterference alone is too strong to express securi...
134
Voted
ICTAI
2003
IEEE
15 years 9 months ago
2003
IEEE
One of the main reasons behind unfruitful software development projects is that it is often too late to correct the problems by the time they are detected. It clearly indicates th...
148
Voted
SEC
1996
15 years 5 months ago
1996
This paper introduces and describes an innovative modelling approach which utilises models that are synthesised through approximate calculations of user actions and extensive repr...
151
Voted
ECSQARU
2005
Springer
15 years 9 months ago
2005
Springer
In the presence of a river flood, operators in charge of control must take decisions based on imperfect and incomplete sources of information (e.g., data provided by a limited numb...