1917 search results - page 79 / 384 » The York Abstract Machine |
115
click to vote
GCC
2009
Springer
14 years 9 months ago
2009
Springer
Current cloud computing infrastructure offerings are lacking in interoperability, which is a hindrance to the advancement and adoption of the cloud computing paradigm. As clouds ar...
117
click to vote
TNN
2010
14 years 6 months 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...
101
click to vote
EUROPAR
2007
Springer
15 years 6 months 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 ...
ASM
2005
ASM
15 years 5 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...
102
click to vote
B
1998
Springer
15 years 4 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...