1346 search results - page 73 / 270 » Alternating-time dynamic logic |
TAMODIA
2008
13 years 9 months ago
2008
This paper aims to provide thorough discussion of the aspects that compose the state of a Web application user interface, and show how it can be preserved across multiple devices w...
CADE
2000
Springer
14 years 1 days ago
2000
Springer
Abstract. This article introduces two techniques to improve the propagation efficiency of CSP based finite model generation methods. One approach consists in statically rewriting ...
FMLDO
1999
Springer
13 years 12 months ago
1999
Springer
In this article we extend previous work on the development of logical foundations for the specification of the dynamics of databases. In particular, we deal with two problems. Fir...
KI
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. Markov logic, as a highly expressive representation formalism that essentially combines the semantics of probabilistic graphical models with the full power of first-orde...
CHES
2006
Springer
13 years 11 months ago
2006
Springer
Recent research has shown that cryptographers with glitches are vulnerable in front of Side Channel Attacks (SCA). Since then, several methods, such as Wave Dynamic Differential Lo...