2303 search results - page 111 / 461 » The Cryptographic Abstract Machine |
194
click to vote
TNN
2010
15 years 28 days ago
2010
Abstract--Recently, sparse approximation has become a preferred method for learning large scale kernel machines. This technique attempts to represent the solution with only a subse...
157
click to vote
EUROPAR
2007
Springer
16 years 12 days ago
2007
Springer
Recently, virtualization of hardware resources to run multiple instances of independent virtual machines over physical hosts has gained popularity due to an industry-wide focus on ...
164
click to vote
ASM
2005
ASM
15 years 11 months ago
2005
ASM
In this paper we present a modeling technique for security protocols using Abstract State Machines [BS03,Gur95] (ASMs). We describe how we model the different agents in the scenar...
171
click to vote
B
1998
Springer
15 years 10 months ago
1998
Springer
Reactive systems can be designed graphically using statecharts. This paper presents a scheme for the translation of statecharts into the Abstract Machine Notation (AMN) of the B me...
169
click to vote
FASE
2000
Springer
15 years 9 months ago
2000
Springer
state-based approach KIV uses abstract state machines (ASMs, [5]) over algebraically specified data types. The semantics of an ASM is the set of