Sciweavers

8644 search results - page 253 / 1729
» On the Composition of Secure Systems
Sort
View
JUCS
2010
155views more  JUCS 2010»
15 years 1 months ago
Authoring and Delivering Personalised Simulations - an Innovative Approach to Adaptive eLearning for Soft Skills
: This paper examines the personalization of online training simulations which are a key modern approach in computer aided education. More specifically it focuses on the difficulti...
Conor Gaffney, Declan Dagger, Vincent Wade
SIAMADS
2010
145views more  SIAMADS 2010»
15 years 1 months ago
Propagation of Spike Sequences in Neural Networks
Precise spatiotemporal sequences of action potentials are observed in many brain areas and are thought to be involved in the neural processing of sensory stimuli. Here, we examine ...
Arnaud Tonnelier
FOSSACS
2012
Springer
14 years 2 months ago
Synthesizing Probabilistic Composers
Synthesis from components is the automated construction of a composite system from a library of reusable components such that the system satisfies the given specification. This i...
Sumit Nain, Moshe Y. Vardi
HASE
2008
IEEE
16 years 1 months ago
Using Multi-Level Security Annotations to Improve Software Assurance
Current annotation technologies suffer from poor coverage over the development process phases, limited support for the broad scope of the security requirement types and inadequate...
Eryk Kylikowski, Riccardo Scandariato, Wouter Joos...
ICDCSW
2007
IEEE
16 years 1 months ago
Survey of Six Myths and Oversights about Distributed Hash Tables' Security
Distributed Hash Tables (DHT) was not designed to be secure against malicious users. But some secure systems like trust and reputation management algorithms trust DHT with their d...
Sylvain Dahan, Mitsuhisa Sato