Sciweavers

2098 search results - page 36 / 420
» The Persistent Abstract Machine
Sort
View
ASM
2003
ASM
15 years 7 months ago
Privacy, Abstract Encryption and Protocols: An ASM Model - Part I
d in Abstract State Machines – Advances in Theory and Applications: 10th International Workshop, ASM 2003, volume 2589 of LNCS, Springer–Verlag. Abstract Encryption and Protoco...
Dean Rosenzweig, Davor Runje, Neva Slani
HPDC
2007
IEEE
15 years 5 months ago
Transparent network services via a virtual traffic layer for virtual machines
We claim that network services can be transparently added to existing unmodified applications running inside virtual machine environments. Examples of these network services inclu...
John R. Lange, Peter A. Dinda
118
Voted
EUROSYS
2008
ACM
15 years 11 months ago
Parallax: virtual disks for virtual machines
Parallax is a distributed storage system that uses virtualization to provide storage facilities specifically for virtual environments. The system employs a novel architecture in ...
Dutch T. Meyer, Gitika Aggarwal, Brendan Cully, Ge...
SIGOPS
2010
130views more  SIGOPS 2010»
15 years 9 days ago
Storing and accessing live mashup content in the cloud
Today’s Rich Internet Application (RIA) technologies such as Ajax, Flex, or Silverlight, are designed around the client-server paradigm and cannot easily take advantage of repli...
Krzysztof Ostrowski, Ken Birman
MOZ
2004
Springer
15 years 7 months ago
The Metagrammar Compiler: An NLP Application with a Multi-paradigm Architecture
1) the Warren’s Abstract Machine and (2) constraints on finite set.
Denys Duchier, Joseph Le Roux, Yannick Parmentier