16541 search results - page 3224 / 3309 » Ontologies and Software Engineering |
176
click to vote
CCS
2011
ACM
14 years 4 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...
154
Voted
PPOPP
2012
ACM
14 years 2 days ago
2012
ACM
We introduce the first binary search tree algorithm designed for speculative executions. Prior to this work, tree structures were mainly designed for their pessimistic (non-specu...
183
click to vote
BPM
2005
Springer
15 years 10 months ago
2005
Springer
Business Process Management is considered an essential strategy to create and maintain competitive advantage by streamlining and monitoring corporate processes. While the identific...
111
click to vote
PLDI
2012
ACM
13 years 7 months ago
2012
ACM
Developers frequently use inefficient code sequences that could be fixed by simple patches. These inefficient code sequences can cause significant performance degradation and ...
169
click to vote
EUROSYS
2006
ACM
16 years 1 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 ...