925 search results - page 12 / 185 » Typing Component-Based Communication Systems |
ENTCS
2010
13 years 10 months ago
2010
Component based development allows to build software upon existing components and promises to improve software reuse and reduce costs. To gain reliability of a component based sys...
CDES
2006
13 years 11 months ago
2006
In this paper we define communicating distributed H systems with simple splicing rules of types (1,3), (1,4) and (2,3) and study the generative capacity. keyword: Splicing systems,...
POPL
1999
ACM
14 years 2 months ago
1999
ACM
An ambient is a named cluster of processes and subambients, which moves as a group. We describe type systems able to guarantee that certain ambients will remain immobile, and that ...
PROLAMAT
2001
13 years 11 months ago
2001
: In most cases in intelligent manufacturing applications the communication functions depend on the capabilities of the intelligent tool (e.g. expert system). Three different types...
IFIP
2009
Springer
14 years 4 months ago
2009
Springer
Security API analysis typically only considers a subset of an API’s functions, with results bounded by the number of function calls. Furthermore, attacks involving partial leakag...