974 search results - page 154 / 195 » Formal Modeling of Communication Traces |
ASM
2003
ASM
15 years 4 months ago
2003
ASM
We present an approach towards a formal dynamic semantics for UML using ASM. We aim to remain as close as possible to the standard definition of UML and to cover the operational pa...
85
Voted
ESORICS
1994
Springer
15 years 3 months ago
1994
Springer
Abstract. An oblivious signature with n keys (or messages) is a signature that the recipient can choose one of n keys (or messages) to get signed while the signer cannot find out o...
HICSS
2009
IEEE
15 years 3 months ago
2009
IEEE
Humans use computers to carry out tasks that neither is able to do easily alone: humans provide eyes, hands, and judgment while computers provide computation, networking, and stor...
114
click to vote
DEXAW
2008
IEEE
15 years 1 months ago
2008
IEEE
We have proposed in the past three separate methodologies for secure software development. We have found that they have many common and complementary aspects and we proposed a com...
202
click to vote
POPL
2008
ACM
15 years 11 months ago
2008
ACM
Self-adjusting computation enables writing programs that can automatically and efficiently respond to changes to their data (e.g., inputs). The idea behind the approach is to stor...