7 search results - page 2 / 2 » Bridging CSP and C with Selective Formalism and Executable... |
SIGSOFT
2008
ACM
14 years 5 months ago
2008
ACM
Program specifications are important for many tasks during software design, development, and maintenance. Among these, temporal specifications are particularly useful. They expres...
ATAL
2003
Springer
13 years 8 months ago
2003
Springer
This paper addresses the problem of protecting the data carried by mobile agents from the possible attacks of malicious execution hosts. Specifically, we consider protection mecha...