1249 search results - page 185 / 250 » State Machine Modeling: From Synch States to Synchronized St... |
109
click to vote
CASSIS
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. This paper addresses the problem of static checking of programs to ensure that they satisfy confidentiality policies in the presence of dynamic access control in the for...
WIA
2001
Springer
15 years 4 months ago
2001
Springer
d Abstract) Zhe Dang , Tevfik Bultan ¡ , Oscar H. Ibarra ¡ , and Richard A. Kemmerer ¡ ¢ School of Electrical Engineering and Computer Science Washington State University P...
ASPDAC
2000
ACM
15 years 4 months ago
2000
ACM
Abstract— Clock-gating techniques are very effective in the reduction of the switching activity in sequential logic circuits. In particular, recent work has shown that significa...
120
click to vote
MOBISYS
2008
ACM
15 years 2 months ago
2008
ACM
As computing capabilities of embedded devices increase, services such as Internet and multimedia are comportably supported by such devices. Users may demand for migrating services...
104
click to vote
CSL
2010
Springer
15 years 28 days ago
2010
Springer
Abstract. The relationship between automata and logics has been investigated since the 1960s. In particular, it was shown how to determine, given an automaton, whether or not it is...