925 search results - page 19 / 185 » Typing Component-Based Communication Systems |
CSFW
2003
IEEE
14 years 3 months ago
2003
IEEE
A type system is presented that combines a weak form of information flow control, termed distributed access control in the paper, with typed cryptographic operations. The motivat...
ESOP
1999
Springer
14 years 2 months ago
1999
Springer
We define an extension of the π-calculus with a static type system which supports high-level specifications of extended patterns of communication, such as client-server protocol...
GCC
2007
Springer
14 years 4 months ago
2007
Springer
Wide-area distributed systems like computational grids are emergent infrastructures for high-performance parallel applications. On these systems, communication mechanisms have to ...
ACTA
2005
13 years 9 months ago
2005
Extending the pi calculus with the session types proposed by Honda et al. allows high-level specifications of structured patterns of communication, such as client-server protocols,...
ICASSP
2008
IEEE
14 years 4 months ago
2008
IEEE
Modulation forensics is to detect the modulation type in wireless communications without any prior information. It nds both military and civilian applications such as surveillance...