3 search results - page 1 / 1 » UML-based Approach to Specify Secured, Fine-grained Concurre... |
AINA
2007
IEEE
13 years 11 months ago
2007
IEEE
The Mobile Agent (MA) paradigm advocates the migration of agent code to achieve computational goals. MAs require an executable environment on hosts where mobile code can be execut...
JOT
2007
13 years 4 months ago
2007
POPL
2005
ACM
14 years 5 months ago
2005
ACM
A lightweight logical approach to race-free sharing of heap storage between concurrent threads is described, based on the notion of permission to access. Transfer of permission be...