3 search results - page 1 / 1 » Combining Static Analysis and Runtime Checking in Security A... |
149
Voted
COORDINATION
2011
Springer
14 years 6 months ago
2011
Springer
113
Voted
ICALP
2003
Springer
15 years 7 months ago
2003
Springer
µKlaim is a process language that permits programming distributed systems made up of several mobile components interacting through multiple distributed tuple spaces. We present th...
130
click to vote
COORDINATION
2008
Springer
15 years 4 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 ...