Sciweavers

3926 search results - page 525 / 786
» Deriving Information Requirements from Responsibility Models
Sort
View
EUROPAR
2005
Springer
16 years 24 days ago
SPC-XML: A Structured Representation for Nested-Parallel Programming Languages
Nested-parallelism programming models, where the task graph associated to a computation is series-parallel, present good analysis properties that can be exploited for scheduling, c...
Arturo González-Escribano, Arjan J. C. van ...
CCS
2001
ACM
15 years 11 months ago
Events in security protocols
The events of a security protocol and their causal dependency can play an important role in the analysis of security properties. This insight underlies both strand spaces and the ...
Federico Crazzolara, Glynn Winskel
ICECCS
1997
IEEE
114views Hardware» more  ICECCS 1997»
15 years 11 months ago
An approach to integration testing based on architectural descriptions
Software architectures can play a role in improving the testing process of complex systems. In particular, descriptions of the software architecture can be useful to drive integra...
Antonia Bertolino, Paola Inverardi, Henry Muccini,...
IEICET
2006
100views more  IEICET 2006»
15 years 7 months ago
Generating F0 Contours by Statistical Manipulation of Natural F0 Shapes
This paper proposes a method of generating F0 contours from natural F0 segmental shapes for speech synthesis. The extracted shapes of F0 units are basically kept unchanged, by eli...
Takashi Saito
NN
2007
Springer
15 years 6 months ago
Optimal decision network with distributed representation
On the basis of detailed analysis of reaction times and neurophysiological data from tasks involving choice, it has been proposed that the brain implements an optimal statistical ...
Rafal Bogacz