4814 search results - page 559 / 963 » Combining abstract interpreters |
158
click to vote
IWSEC
2007
Springer
16 years 29 days ago
2007
Springer
Abstract. With the digitization of society and the continuous migration of services to the electronic world, individuals have lost significant control over their data. In this pap...
171
click to vote
KI
2007
Springer
16 years 29 days ago
2007
Springer
Abstract. We compare three systems for the task of synthesising functional recursive programs, namely Adate, an approach through evolutionary computation, the classification learn...
161
click to vote
MODELS
2007
Springer
16 years 29 days ago
2007
Springer
Abstract We have previously proposed an expressive UML-based language for constructing and transforming security-design models, which are models that combine design specifications...
173
click to vote
PERVASIVE
2007
Springer
16 years 28 days ago
2007
Springer
Abstract. Small, mobile devices without user interfaces, such as Bluetooth headsets, often need to communicate securely over wireless networks. Active attacks can only be prevented...
197
click to vote
PVM
2007
Springer
16 years 28 days ago
2007
Springer
Abstract. The MPI Standard does not make any performance guarantees, but users expect (and like) MPI implementations to deliver good performance. A common-sense expectation of perf...