5707 search results - page 381 / 1142 » Symbolic Simulation - Techniques and Applications |
201
click to vote
VMCAI
2009
Springer
16 years 2 months ago
2009
Springer
Abstract There is an intimate link between program structure and behaviour. Exploiting this link to phrase program correctness problems in terms of the structural properties of a p...
160
click to vote
ICASSP
2008
IEEE
16 years 2 months ago
2008
IEEE
Motivated by linguistic theories of prosodic categoricity, symbolic representations of prosody have recently attracted the attention of speech technologists. Categorical represent...
138
click to vote
ICC
2007
IEEE
16 years 1 months ago
2007
IEEE
—In this paper, we study a new family of carrier-hopping prime codes (CHPCs), so-called quadraticcongruence CHPC (QC-CHPC), with expanded code cardinality by relaxing the maximum...
183
click to vote
ICMCS
2007
IEEE
16 years 1 months ago
2007
IEEE
As more and more tools are developed for meeting support tasks, properly using these tools to get expected results becomes too complicated for many meeting participants. To addres...
222
click to vote
CSFW
2006
IEEE
16 years 1 months ago
2006
IEEE
We describe a faithful embedding of the Dolev-Yao model of Backes, Pfitzmann, and Waidner (CCS 2003) in the theorem prover Isabelle/HOL. This model is cryptographically sound in ...