3889 search results - page 547 / 778 » The Use of Program Dependence Graphs in Software Engineering |
115
click to vote
EUROSYS
2007
ACM
15 years 8 months ago
2007
ACM
To anticipate or not to anticipate -- that is the question, regarding adaptive middleware in the area of ubiquitous computing. Anticipation can guarantee that both the adapted and...
144
Voted
CBSE
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. We present a technique for designing reconfiguration controllers in the Fractal component-based framework. We obtain discrete control loops that automatically enforce saf...
169
click to vote
ICFP
2004
ACM
16 years 4 months ago
2004
ACM
Concurrency, as a useful feature of many modern programming languages and systems, is generally hard to reason about. Although existing work has explored the verification of concu...
184
Voted
CANS
2006
Springer
15 years 8 months ago
2006
Springer
Software watermarking is a new research area that aims at providing copyright protection for commercial software. It minimizes software piracy by hiding copyright signatures inside...
154
click to vote
EMSOFT
2005
Springer
15 years 10 months ago
2005
Springer
Passive monitoring or testing of complex systems and networks running in the field can provide valuable insights into their behavior in actual environments of use. In certain con...