Sciweavers

2296 search results - page 89 / 460
» The Expressive Power of Synchronizations
Sort
View
SOFSEM
2009
Springer
16 years 1 months ago
Expressiveness of Multiple Heads in CHR
Abstract. Constraint Handling Rules (CHR) is a general purpose, committedchoice declarative language which, differently from other similar languages, uses multi-headed (guarded) ru...
Cinzia Di Giusto, Maurizio Gabbrielli, Maria Chiar...
ICC
2007
IEEE
126views Communications» more  ICC 2007»
15 years 10 months ago
A General Expression of Rake Receiver Performance in DS-CDMA Downlink
— This paper deals with the orthogonality factor, a transfer coefficient which allows the transformation of a transmitted orthogonal signal into a received Gaussian noise to be ...
Thierry Clessienne
SP
1997
IEEE
134views Security Privacy» more  SP 1997»
15 years 8 months ago
A Logical Language for Expressing Authorizations
A major drawback of existing access control systems is that they have all been developed with a specific access control policy in mind. This means that all protection requirement...
Sushil Jajodia, Pierangela Samarati, V. S. Subrahm...
IEAAIE
2010
Springer
15 years 2 months ago
Constructive Neural Networks to Predict Breast Cancer Outcome by Using Gene Expression Profiles
Abstract. Gene expression profiling strategies have attracted considerable interest from biologist due to the potential for high throughput analysis of hundreds of thousands of gen...
Daniel Urda, José Luis Subirats, Leonardo F...
FMCO
2005
Springer
15 years 10 months ago
Separation Results Via Leader Election Problems
Abstract. We compare the expressive power of process calculi by studying the problem of electing a leader in a symmetric network of processes. We consider the π-calculus with mixe...
Maria Grazia Vigliotti, Iain Phillips, Catuscia Pa...