477 search results - page 96 / 96 » Concurrent Pattern Calculus |
POPL
2012
ACM
12 years 3 months ago
2012
ACM
In object-oriented programming, unique permissions to object references are useful for checking correctness properties such as consistency of typestate and noninterference of conc...
INFOCOM
2012
IEEE
11 years 10 months ago
2012
IEEE
– Maximizing consolidation ratio, the number of virtual machines (VMs) in a physical machine, without violating customers’ SLAs is an important goal in the cloud. We show that ...