1940 search results - page 159 / 388 » The Dynamic Logic of Permission |
183
click to vote
ASWEC
2007
IEEE
15 years 10 months ago
2007
IEEE
Influence control is a very challenging issue in dynamic reconfiguration and still not well addressed in the literature. This paper argues that dynamic reconfiguration influences s...
172
click to vote
TAP
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. This paper extends dynamic symbolic execution to distributed and concurrent systems. Dynamic symbolic execution can be used in software testing to systematically identify...
150
click to vote
GCC
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. In this paper, we constructed the Distributed Object Group Framework(DOGF) which is a reconfigurable architecture supporting dynamically adaptation of distributed service...
180
click to vote
PEPM
2004
ACM
15 years 12 months ago
2004
ACM
Tracing computations is a widely used methodology for program debugging. Lazy languages, in particular, pose new demands on tracing techniques since following the actual trace of ...
178
click to vote
TSE
2010
15 years 5 months ago
2010
— Web script crashes and malformed dynamically-generated web pages are common errors, and they seriously impact the usability of web applications. Current tools for web-page vali...