33 search results - page 3 / 7 » Enforcing Interaction Properties in AOSD-Enabled Systems |
ISORC
1999
IEEE
15 years 3 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...
71
Voted
CSFW
2000
IEEE
15 years 3 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
15 years 4 months 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
15 years 20 days 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 ...
86
Voted
IEEEARES
2006
IEEE
15 years 4 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...