468 search results - page 8 / 94 » A New Type System for Deadlock-Free Processes |
159
click to vote
TLCA
2009
Springer
15 years 11 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...
139
Voted
IFIP
2004
Springer
15 years 10 months ago
2004
Springer
Previous type systems for mobility calculi (the original Mobile Ambients, its variants and descendants, e.g., Boxed Ambients and Safe Ambients, and other related systems) offer lit...
147
click to vote
ICASSP
2009
IEEE
15 years 11 months ago
2009
IEEE
Unvoiced speech poses a big challenge to current monaural speech segregation systems. It lacks harmonic structure and is highly susceptible to interference due to its relatively w...
148
click to vote
EUROMICRO
2005
IEEE
15 years 10 months ago
2005
IEEE
When an organization faces new types of collaboration, for example after a company merger, there is a need to integrate the existing software. Two main process challenges are how ...
122
Voted
IWANN
1999
Springer
15 years 9 months ago
1999
Springer
A new model which can recognize rotated, distorted, scaled, shifted and noised patterns is proposed. The model is constructed based on psychological experiments in a mental rotatio...