1833 search results - page 164 / 367 » Mechanized Verification with Sharing |
147
click to vote
TCS
2010
15 years 4 months ago
2010
Motivated by applications that require mechanisms for describing the structure of object-oriented programs, adaptive star grammars are introduced, and their fundamental properties...
187
click to vote
ICONIP
2010
15 years 4 months ago
2010
Collective decision making involves on the one hand individual mental states such as beliefs, emotions and intentions, and on the other hand interaction with others with possibly d...
171
click to vote
TRIDENTCOM
2010
IEEE
15 years 4 months ago
2010
IEEE
A scalable approach to building large scale experimentation testbeds involves multiplexing the system resources for better utilization. Virtualization provides a convenient means o...
191
click to vote
IEEEIA
2009
15 years 4 months ago
2009
Covert channel attacks utilize shared resources to indirectly transmit sensitive information to unauthorized parties. Current security mechanisms such as SELinux rely on tagging th...
209
click to vote
IGARSS
2009
15 years 4 months ago
2009
Scientific Workflows provides a technology that facilitates researchers by allowing them to capture in a machine processable manner the method relating to some research. This incr...