3119 search results - page 451 / 624 » General Default Logic |
198
click to vote
ECOOP
2004
Springer
16 years 12 days ago
2004
Springer
Design patterns are a standard means to create large software systems. However, with standard object-oriented techniques, typical implementations of such patterns are not themselv...
207
click to vote
EMSOFT
2004
Springer
16 years 12 days ago
2004
Springer
Embedded devices like smart cards can now run multiple interacting applications. A particular challenge in this domain is to dynamically integrate diverse security policies. In th...
191
Voted
ESOP
2004
Springer
16 years 12 days ago
2004
Springer
t) Peter W. O’Hearn Queen Mary, University of London In the 1960s Dijkstra suggested that, in order to limit the complexity of potential process interactions, concurrent programs...
295
Voted
PLDI
2003
ACM
16 years 8 days ago
2003
ACM
In prior work [15] we studied a language construct restrict that allows programmers to specify that certain pointers are not aliased to other pointers used within a lexical scope....
218
Voted
SACMAT
2003
ACM
16 years 8 days ago
2003
ACM
In large organizations the administration of access privileges (such as the assignment of an access right to a user in a particular role) is handled cooperatively through distribu...