1700 search results - page 276 / 340 » Specifying and implementing refactorings |
175
click to vote
CHI
2011
ACM
14 years 9 months ago
2011
ACM
As users store and share more digital content at home, access control becomes increasingly important. One promising approach for helping non-expert users create accurate access po...
185
click to vote
ESOP
2011
Springer
14 years 9 months ago
2011
Springer
Abstract. Dependent grammars extend context-free grammars by allowing semantic values to be bound to variables and used to constrain parsing. Dependent grammars can cleanly specify...
214
click to vote
FORTE
2011
14 years 9 months ago
2011
Analyzing Border Gateway Protocol (BGP) instances is a crucial step in the design and implementation of safe BGP systems. Today, the analysis is a manual and tedious process. Resea...
261
click to vote
ICSE
2011
IEEE-ACM
14 years 9 months ago
2011
IEEE-ACM
A raw object is partially initialized, with only some fields set to legal values. It may violate its object invariants, such as that a given field is non-null. Programs often ma...
167
click to vote
POPL
2011
ACM
14 years 9 months ago
2011
ACM
Shared-memory concurrency in C and C++ is pervasive in systems programming, but has long been poorly defined. This motivated an ongoing shared effort by the standards committees ...