15784 search results - page 3080 / 3157 » Mega Software Engineering |
CCS
2011
ACM
12 years 10 months ago
2011
ACM
Verifying that access-control systems maintain desired security properties is recognized as an important problem in security. Enterprise access-control systems have grown to prote...
EUROSYS
2006
ACM
14 years 7 months ago
2006
ACM
Peer-to-peer (p2p) technology can potentially be used to build highly reliable applications without a single point of failure. However, most of the existing applications, such as ...
EUROSYS
2006
ACM
14 years 4 months ago
2006
ACM
K42 is one of the few recent research projects that is examining operating system design structure issues in the context of new whole-system design. K42 is open source and was des...
PLDI
2005
ACM
14 years 3 months ago
2005
ACM
Robust and powerful software instrumentation tools are essential for program analysis tasks such as profiling, performance evaluation, and bug detection. To meet this need, we ha...
BMCBI
2011
13 years 5 months ago
2011
Background: Broad-based collaborations are becoming increasingly common among disease researchers. For example, the Global HIV Enterprise has united cross-disciplinary consortia t...