7209 search results - page 897 / 1442 » Software Engineering for Multi-Agent Systems |
153
click to vote
PLDI
2010
ACM
15 years 9 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...
143
click to vote
STORAGESS
2005
ACM
15 years 10 months 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...
127
click to vote
FOSSACS
2010
Springer
15 years 11 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...
123
click to vote
ISORC
2008
IEEE
15 years 11 months 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 ...
123
click to vote
SOCO
2005
Springer
15 years 10 months ago
2005
Springer
Compared to other languages, the C++ language offers a less powerful runtime type system, but a very powerful static type system. In AspectC++, this is addressed by an extended joi...