1851 search results - page 54 / 371 » Open Source AI |
156
click to vote
ACSAC
2005
IEEE
15 years 10 months ago
2005
IEEE
We present the sHype hypervisor security architecture and examine in detail its mandatory access control facilities. While existing hypervisor security approaches aiming at high a...
119
click to vote
APSEC
2005
IEEE
15 years 10 months ago
2005
IEEE
Our approach to better understand the nature of collaboration in open-source software (OSS) development is to view it as a participative system, where people and artifacts are int...
107
Voted
ICALT
2005
IEEE
15 years 10 months ago
2005
IEEE
149
click to vote
SEFM
2005
IEEE
15 years 10 months ago
2005
IEEE
The need for the B method first appeared in industry, and several commercial tools have been developed to support this formalism. However, few of these tools allow reasoning on t...