5255 search results - page 427 / 1051 » Formal Methods for Privacy |
171
click to vote
HICSS
2005
IEEE
16 years 13 days ago
2005
IEEE
This paper shows how XML can be used for static and dynamic analysis of architectures. Our analysis is based on the distinction between symbolic and semantic models of architectur...
197
click to vote
SEW
2005
IEEE
16 years 12 days ago
2005
IEEE
Compared with texts, graphs are more intuitive to express comparative and structural information. Many graphical approaches, however, lack a formal basis for precise specification...
169
click to vote
LPAR
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. We discuss a collection of mechanized formal proofs of symmetric key block encryption algorithms (AES, MARS, Twofish, RC6, Serpent, IDEA, and TEA), performed in an imple...
174
Voted
ECAI
2004
Springer
16 years 7 days ago
2004
Springer
Action formalisms like the fluent calculus have been developed to endow logic-based agents with the abilities to reason about the effects of actions, to execute high-level strateg...
175
click to vote
MEMOCODE
2003
IEEE
16 years 3 days ago
2003
IEEE
Formal techniques have been widely applied in the design of real-time systems and have significantly helped detect design errors by checking real-time properties of the model. Ho...