450 search results - page 59 / 90 » Algorithmic uses of the Feferman-Vaught Theorem |
FASE
2009
Springer
14 years 3 months ago
2009
Springer
Security automata are a convenient way to describe security policies. Their typical use is to monitor the execution of an application, and to interrupt it as soon as the security p...
FMICS
2007
Springer
14 years 3 months ago
2007
Springer
Using PVS (Prototype Verification System), we prove that an industry designed scheduler for a smartcard personalization machine is safe and optimal. This scheduler has previously ...
IJCAI
1997
13 years 10 months ago
1997
Belief Revision is a ubiquitous process underlying many forms of intelligent behaviour. The AGM paradigm is a powerful framework for modeling and implementing belief revision syst...
CORR
2008
Springer
13 years 9 months ago
2008
Springer
Abstract. Continuous first-order logic is used to apply model-theoretic analysis to analytic structures (e.g. Hilbert spaces, Banach spaces, probability spaces, etc.). Classical co...
NPL
2008
13 years 8 months ago
2008
: - This paper addresses an inverse controller design for excitation system with changing parameters and nonsmooth nonlinearities in the actuator. The existence of such nonlinearit...