3889 search results - page 506 / 778 » The Use of Program Dependence Graphs in Software Engineering |
230
click to vote
POPL
2003
ACM
16 years 5 months ago
2003
ACM
Ownership types provide a statically enforceable way of specifying object encapsulation and enable local reasoning about program correctness in object-oriented languages. However,...
146
Voted
ICSE
2008
IEEE-ACM
16 years 5 months ago
2008
IEEE-ACM
This paper examines the suitability and use of runtime verification as means for monitoring security protocols and their properties. In particular, we employ the runtime verificat...
152
click to vote
BMCBI
2010
15 years 5 months ago
2010
Background: Biological networks offer us a new way to investigate the interactions among different components and address the biological system as a whole. In this paper, a revers...
125
click to vote
ICSM
2009
IEEE
15 years 11 months ago
2009
IEEE
Error recovery is an integral concern in compilers. Improving error recovery requires comprehension of a large and complex code base, in order to locate the places which raise err...
178
click to vote
ICST
2009
IEEE
15 years 11 months ago
2009
IEEE
In this paper, we consider typical applications in which the business logic is separated from the access control logic, implemented in an independent component, called the Policy ...