5525 search results - page 200 / 1105 » Verification of Model Transformations |
128
Voted
ENTCS
2008
15 years 3 months ago
2008
Well-designed interfaces use procedural and sensory cues to increase the salience of appropriate actions and intentions. However, empirical studies suggest that cognitive load can...
156
Voted
IJNSEC
2008
15 years 3 months ago
2008
The ASW protocol is one of the prominent optimistic fair exchange protocols that is used for contract signing between two participants, the originator and the responder, with the ...
129
Voted
JCP
2008
15 years 3 months ago
2008
Inter-Organizational Workflows (IOWF) become important as they provide solution for data sharing, heterogeneity in resources and work coordination at global level. However, a secur...
162
Voted
ICASSP
2011
IEEE
14 years 7 months ago
2011
IEEE
We describe recent progress in the field of prosodic modeling for speaker verification. In a previous paper, we proposed a technique for modeling syllable-based prosodic feature...
133
Voted
ICDM
2006
IEEE
15 years 9 months ago
2006
IEEE
The secure multi-party computation (SMC) model provides means for balancing the use and confidentiality of distributed data. This is especially important in the field of privacy...