Sciweavers

4098 search results - page 16 / 820
» Sound mobility models
Sort
View
90
Voted
DPD
2010
105views more  DPD 2010»
15 years 2 months ago
Beyond soundness: on the verification of semantic business process models
Ingo Weber, Jörg Hoffmann, Jan Mendling
59
Voted
JCNS
2010
69views more  JCNS 2010»
15 years 1 months ago
A dynamical point process model of auditory nerve spiking in response to complex sounds
Andrea Trevino, Todd P. Coleman, Jont Allen
111
Voted
TGC
2007
Springer
15 years 8 months ago
Computational Soundness of Equational Theories (Tutorial)
Abstract. We study the link between formal and cryptographic models for security protocols in the presence of passive and adaptive adversaries. We first describe the seminal resul...
Steve Kremer