2137 search results - page 269 / 428 » Proving Abstract Non-interference |
134
click to vote
FUIN
2006
15 years 3 months ago
2006
Abstract. This paper describes an attempt to combine theorem proving and model-checking to formally verify real-time systems in a discrete time setting. The Timed Automata Modeling...
117
click to vote
FMSD
2007
15 years 3 months ago
2007
In the classical framework of formal languages, a refinement n is modeled by a substitution and an abstraction by an inverse substitution. These mechanisms have been widely studie...
144
click to vote
IJVR
2007
15 years 3 months ago
2007
—We present an empirical usability experiment studying the relative strengths and weaknesses of three different occlusion management techniques for discovering and accessing obje...
128
click to vote
AI
2002
Springer
15 years 3 months ago
2002
Springer
ko et al. have recently proposed an abstract framework for default reasoning. Besides capturing most existing formalisms and proving that their standard semantics all coincide, th...
131
click to vote
SIGCSE
2002
ACM
15 years 3 months ago
2002
ACM
Designing a two-person game involves identifying the game model to compute the best moves, the user interface (the "view") to play the game, and the controller to coordi...