1833 search results - page 74 / 367 » Mechanized Verification with Sharing |
112
Voted
VRST
2000
ACM
15 years 5 months ago
2000
ACM
The use of Shared Virtual Environments is growing in areas such as multi-player video games, military and industrial training, and collaborative design and engineering. At the sam...
104
Voted
MABS
2004
Springer
15 years 6 months ago
2004
Springer
Some types of animals exploit patterns created in the environment as external mental states, thus obtaining an extension of their mind. In the case of social animals the creation a...
127
Voted
JDCTA
2010
14 years 7 months ago
2010
In visual cryptography, the secret can be any written text, graphical representation, or picture. This technique, some time called visual secret sharing (VSS), allows visual infor...
95
Voted
APLAS
2009
ACM
15 years 7 months ago
2009
ACM
Separation Algebras serve as models of Separation Logics; Share Accounting allows reasoning about concurrent-read/exclusive-write resources in Separation Logic. In designing a Conc...
91
Voted
APPT
2007
Springer
15 years 7 months ago
2007
Springer
The memory size limits the scalability of virtual machine systems. There have been some researches about sharing identical pages among guest systems to reduce memory usage. However...