Sciweavers

629 search results - page 62 / 126
» Business Process Integration: Method and Analysis
Sort
View
INTERSPEECH
2010
13 years 3 months ago
Chirp complex cepstrum-based decomposition for asynchronous glottal analysis
It was recently shown that complex cepstrum can be effectively used for glottal flow estimation by separating the causal and anticausal components of speech. In order to guarantee...
Thomas Drugman, Thierry Dutoit
JALC
2006
87views more  JALC 2006»
13 years 8 months ago
A Team Automaton Scenario for the Analysis of Security Properties of Communication Protocols
Formal methods are a popular means to specify and verify security properties of a variety of communication protocols. In this article we take a step towards the use of team automa...
Maurice H. ter Beek, Gabriele Lenzini, Marinella P...
TCAD
1998
95views more  TCAD 1998»
13 years 8 months ago
High-precision interconnect analysis
— Integrated circuits have evolved to a stage where interconnections significantly limit their performance and functional complexity. We introduce a set of tools to perform high...
Rui Martins, Wolfgang Pyka, Rainer Sabelka, Siegfr...
DAC
2004
ACM
14 years 9 months ago
STAC: statistical timing analysis with correlation
Current technology trends have led to the growing impact of both inter-die and intra-die process variations on circuit performance. While it is imperative to model parameter varia...
Jiayong Le, Xin Li, Lawrence T. Pileggi
PDC
2004
ACM
14 years 2 months ago
Artful infrastructuring in two cases of community PD
In this paper, we use the notions of artful integrations and infrastructure to analyze two cases of community Participatory Design ‘in the wild’. Though the communities are qu...
Helena Karasti, Anna-Liisa Syrjänen