5334 search results - page 255 / 1067 » Communicating quantum processes |
159
click to vote
POPL
1999
ACM
15 years 9 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 ...
140
click to vote
FOSSACS
2007
Springer
15 years 11 months ago
2007
Springer
We use the framework of biorthogonality to introduce a novel semantic definition of the concept of barb (basic observable) for process calculi. We develop a uniform basic theory o...
138
Voted
ICASSP
2011
IEEE
14 years 8 months ago
2011
IEEE
—We present a probabilistic framework for physical layer secrecy when the locations and channels of the eavesdroppers are unknown. The locations are modeled by a Poisson point pr...
129
click to vote
AICT
2006
IEEE
15 years 11 months ago
2006
IEEE
A software application has strong relationships with the business processes it supports. In the analysis phase those parts of the processes in which the software system is applied...
149
Voted
EUROMICRO
1996
IEEE
15 years 9 months ago
1996
IEEE
A message passing program composition methodology, called Ensemble, applied for Parix is presented. Ensemble overcomes the implementation problems and complexities in developing a...