925 search results - page 17 / 185 » Typing Component-Based Communication Systems |
CIC
2003
13 years 11 months ago
2003
- Electronic textiles (e-textiles) are emerging as a novel method for constructing electronic systems in wearable and large area applications. This new type of processing system me...
CONCUR
2010
Springer
13 years 11 months ago
2010
Springer
We consider a calculus for multiparty sessions with delegation, enriched with security levels for session participants and data. We propose a type system that guarantees both sessi...
AC
1999
Springer
14 years 2 months ago
1999
Springer
The FlexiNet Platform is a Java middleware platform that features a component based ‘white-box’ approach with strong emphasis placed on reflection and introspection at all lev...
SAFECOMP
1998
Springer
14 years 2 months ago
1998
Springer
Abstract. In this paper concepts for fault-tolerant communication systems in large-scale manipulators for heavy weights are introduced. This class of robots makes high demands on s...
TLCA
2009
Springer
14 years 4 months ago
2009
Springer
In this paper we solve an open problem posed in our previous work on asynchronous subtyping [12], extending the method to higher-order session communication and functions. Our syst...