3889 search results - page 609 / 778 » The Use of Program Dependence Graphs in Software Engineering |
124
click to vote
ICSE
2007
IEEE-ACM
16 years 4 months ago
2007
IEEE-ACM
Policy testing and analysis are important techniques for high assurance of correct specification of access control policies. We propose a set of testing and analysis techniques fo...
125
click to vote
WOSP
2010
ACM
15 years 11 months ago
2010
ACM
For garbage-collected applications, dynamically-allocated objects are contained in a heap. Programmer productivity improves significantly if there is a garbage collector to autom...
156
click to vote
KBSE
2009
IEEE
15 years 11 months ago
2009
IEEE
Methods in object-oriented concurrent libraries hide internal synchronization details. However, information hiding may result in clients causing thread safety violations by invoki...
119
Voted
COMPSAC
2007
IEEE
15 years 10 months ago
2007
IEEE
Service discovery is very useful in pervasive computing environments. A service discovery architecture based on anycast is proposed. A wellknown anycast address is defined first, ...
145
click to vote
WCRE
2002
IEEE
15 years 9 months ago
2002
IEEE
Dynamic binary translators compile machine code from a source architecture to a target architecture at run time. Due to the hard time constraints of just-in-time compilation only ...