Sciweavers

5639 search results - page 937 / 1128
» Timed Abstract Non-interference
Sort
View
BC
2006
62views more  BC 2006»
15 years 3 months ago
Population approach to a neural discrimination task
Abstract This article gives insights into the possible neuronal processes involved in visual discrimination. We study the performance of a spiking network of Integrate-and-Fire (IF...
Benoit Gaillard, Hilary Buxton, Jianfeng Feng
FUIN
2008
147views more  FUIN 2008»
15 years 3 months ago
A Basic Logic for Reasoning about Connector Reconfiguration
Abstract. Software systems evolve over time. From a component-based software engineering perspective, this means that either the components of the system need to change, or, if com...
Dave Clarke
121
Voted
IEICET
2008
119views more  IEICET 2008»
15 years 2 months ago
Universally Composable Identity-Based Encryption
Abstract-- The identity-based encryption (IBE) is one of the most important primitives in cryptography, and various security notions of IBE (e.g., IND-ID-CCA2, NM-ID-CCA2, IND-sID-...
Ryo Nishimaki, Yoshifumi Manabe, Tatsuaki Okamoto
COMCOM
2006
101views more  COMCOM 2006»
15 years 2 months ago
A combined group/tree approach for scalable many-to-many reliable multicast
Abstract--In this paper we present the design, implementation, and performance analysis of Group-Aided Multicast (GAM), a scalable many-tomany reliable multicast transport protocol...
Wonyong Yoon, Dongman Lee, Hee Yong Youn, Seung-Ik...
123
Voted
CORR
2006
Springer
94views Education» more  CORR 2006»
15 years 2 months ago
Fitness Uniform Optimization
Abstract-- In evolutionary algorithms, the fitness of a population increases with time by mutating and recombining individuals and by a biased selection of more fit individuals. Th...
Marcus Hutter, Shane Legg