7380 search results - page 923 / 1476 » Engineering Software Intensive Systems |
185
click to vote
PLDI
2010
ACM
15 years 11 months ago
2010
ACM
Static analysis designers must carefully balance precision and efficiency. In our experience, many static analysis tools are built around an elegant, core algorithm, but that alg...
176
click to vote
STORAGESS
2005
ACM
16 years 2 days ago
2005
ACM
The growing number of storage security breaches as well as the need to adhere to government regulations is driving the need for greater storage protection. However, there is the l...
169
click to vote
SAC
2008
ACM
15 years 6 months ago
2008
ACM
The basic theory of supervisory control of discrete-event systems is extended with the notion of templates, which simplifies the modeling of controllers since one can work with co...
154
click to vote
FOSSACS
2010
Springer
16 years 1 months ago
2010
Springer
We present a coinductive proof system for bisimilarity in transition systems specifiable in the de Simone SOS format. Our coinduction is incremental, in that it allows building in...
152
click to vote
ISORC
2008
IEEE
16 years 27 days ago
2008
IEEE
Several approaches for scalable interest management (IM) within real-time distributed virtual environments (DVEs) have been proposed based upon some division of the data-space in ...