Sciweavers

4890 search results - page 586 / 978
» From system specifications to component behavioral models
Sort
View
ICMI
2009
Springer
138views Biometrics» more  ICMI 2009»
16 years 1 months ago
Dialog in the open world: platform and applications
We review key challenges of developing spoken dialog systems that can engage in interactions with one or multiple participants in relatively unconstrained environments. We outline...
Dan Bohus, Eric Horvitz
FMCAD
2009
Springer
15 years 10 months ago
Industrial strength refinement checking
This paper discusses a methodology used on an industrial hardware development project to validate various cache-coherence protocol components. The idea is to use a high level model...
Jesse D. Bingham, John Erickson, Gaurav Singh, Fle...
IADIS
2004
15 years 8 months ago
Towards Understanding of Factors Influencing User Acceptance of Mobile Payment Systems
M-payments, which refer to payments over a mobile device, have not taken off as fast as predicted. Their slow adoption rates raise many questions about what drives consumer behavi...
Agnieszka Zmijewska, Elaine Lawrence, Robert Steel...
HOTOS
1999
IEEE
15 years 11 months ago
Elephant: The File System That Never Forgets
Modern file systems associate the deletion of a file with the release of the storage associated with that file, and file writes with the irrevocable change of file contents. We pr...
Douglas J. Santry, Michael J. Feeley, Norman C. Hu...
AAAI
2011
14 years 6 months ago
Temporal Dynamics of User Interests in Tagging Systems
Collaborative tagging systems are now deployed extensively to help users share and organize resources. Tag prediction and recommendation systems generally model user behavior as r...
Dawei Yin, Liangjie Hong, Zhenzhen Xue, Brian D. D...