4814 search results - page 698 / 963 » Combining abstract interpreters |
140
click to vote
AGS
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. We describe a distributed architecture for situated largescale agent-based simulations with predominately local interactions. The approach, implemented in AglobeX Simulat...
110
Voted
APPT
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. With more cores integrated into one single chip, the overall power consumption from the multiple concurrent running programs increases dramatically in a CMP processor whi...
121
click to vote
TRUSTBUS
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. Existing policy languages suffer from a limited ability of directly and elegantly expressing high-level access control principles such as history-based separation of dut...
106
Voted
WABI
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. Computational inference of transcriptional regulatory networks remains a challenging problem, in part due to the lack of strong network models. In this paper we present e...
116
Voted
CALCO
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. Model-to-model (M2M) transformation consists in transforming models from a source to a target language. Many transformation languages exist, but few of them combine a dec...