859 search results - page 165 / 172 » Explaining Synthesized Software |
IPPS
2008
IEEE
14 years 3 months ago
2008
IEEE
We propose a new fault localization technique for software bugs in large-scale computing systems. Our technique always collects per-process function call traces of a target system...
CCS
2007
ACM
14 years 2 months ago
2007
ACM
In this paper, we study the maintenance of role-based access control (RBAC) models in database environments using transitive closure relations. In particular, the algorithms that ...
PLDI
2006
ACM
14 years 2 months ago
2006
ACM
Progressing beyond the productivity of present-day languages appears to require using domain-specific knowledge. Domain-specific languages and libraries (DSLs) proliferate, but ...
CCGRID
2005
IEEE
14 years 2 months ago
2005
IEEE
— The arrival of the P2P model has opened many new avenues for research within the field of distributed computing. This is mainly due to important practical features (such as su...
MOZ
2004
Springer
14 years 1 months ago
2004
Springer
Common programming practice grants excess authority for the sake of functionality; programming principles require least authority for the sake of security. If we practice our princ...