33 search results - page 3 / 7 » Enforcing Interaction Properties in AOSD-Enabled Systems |
ISORC
1999
IEEE
13 years 11 months ago
1999
IEEE
As networks and the use of communication within applications continue to grow and find more uses, so too does the demand for more control and manageability of various "system...
CSFW
2000
IEEE
13 years 12 months ago
2000
IEEE
We consider the problem of assembling concurrent software systems from untrusted or partially trusted o -the-shelf components, using wrapper programs to encapsulate components and...
CASSIS
2004
Springer
14 years 26 days ago
2004
Springer
A Java Card applet is, in general, not allowed to access fields and methods of other applets on the same smart card. This applet isolation property is enforced by dynamic checks i...
COORDINATION
2008
Springer
13 years 9 months ago
2008
Springer
Abstract. Coordination languages are often used to describe open ended systems. This makes it challenging to develop tools for guaranteeing security of the coordinated systems and ...
IEEEARES
2006
IEEE
14 years 1 months ago
2006
IEEE
The µKlaim calculus is a process algebra designed to study the programming of distributed systems consisting of a number of locations each having their own tuple space and collec...