Sciweavers

3868 search results - page 320 / 774
» Open Systems in TLA
Sort
View
ISSE
2006
15 years 7 months ago
Modeling security as a dependability attribute: a refinement-based approach
Abstract As distributed, networked computing systems become the dominant computing platform in a growing range of applications, they increase opportunities for security violations ...
Ali Mili, Frederick T. Sheldon, Lamia Labed Jilani...
JNCA
2007
126views more  JNCA 2007»
15 years 7 months ago
Usage derived recommendations for a video digital library
We describe a minimalist methodology to develop usage-based recommender systems for multimedia digital libraries. A prototype recommender system based on this strategy was impleme...
Johan Bollen, Michael L. Nelson, Gary Geisler, Raq...
234
Voted
ICASSP
2011
IEEE
14 years 11 months ago
Why word error rate is not a good metric for speech recognizer training for the speech translation task?
Speech translation (ST) is an enabling technology for cross-lingual oral communication. A ST system consists of two major components: an automatic speech recognizer (ASR) and a ma...
Xiaodong He, Li Deng, Alex Acero
232
Voted
SIGMOD
2011
ACM
220views Database» more  SIGMOD 2011»
14 years 10 months ago
Zephyr: live migration in shared nothing databases for elastic cloud platforms
Multitenant data infrastructures for large cloud platforms hosting hundreds of thousands of applications face the challenge of serving applications characterized by small data foo...
Aaron J. Elmore, Sudipto Das, Divyakant Agrawal, A...
345
Voted
ECOOP
2009
Springer
16 years 8 months ago
Type-Based Object Immutability with Flexible Initialization
We present a type system for checking object immutability, read-only references, and class immutability in an open or closed world. To allow object initialization outside object co...
Christian Haack, Erik Poll