474 search results - page 63 / 95 » Assurance Based Development of Critical Systems |
160
click to vote
ICASSP
2011
IEEE
14 years 8 months ago
2011
IEEE
This study focuses on determining a procedure to select effective negative examples for development of improved Support Vector Machine (SVM) based speaker recognition. Selection o...
131
click to vote
PPPJ
2006
ACM
15 years 10 months ago
2006
ACM
In this paper we present a JXTA-based platform, called Juxta-CAT, which is an effort to use the JXTA architecture to build a job execution-sharing distributed environment. The Ju...
146
click to vote
SIGCOMM
2010
ACM
15 years 4 months ago
2010
ACM
In this paper, we tackle challenges in migrating enterprise services into hybrid cloud-based deployments, where enterprise operations are partly hosted on-premise and partly in th...
145
click to vote
POPL
2005
ACM
15 years 10 months ago
2005
ACM
Cross-realm authentication is a useful and interesting component of Kerberos aimed at enabling secure access to services astride organizational boundaries. We present a formalizat...
115
click to vote
APSEC
2001
IEEE
15 years 8 months ago
2001
IEEE
Computer software now controls critical systems worldwide. International standards require such programs to be produced from mathematically-precise specifications, but the techniq...