software engineering uncertainty siena probabilistic verification publish/subscribe ubiquitous computing research precache scalability testing perturbation theory internet-scale impact assertions software utility fault detection recommendation systems requirements engineering statistics machine learning icse 2014 nfrs service academia careers tenure publication felicitous computing mobile computing multimedia publications distributions topics skewness data fse2008 event notification award sigsoft fse doa2005 doa ucl inaugural lecture debs2003 debs mobility security icse2002 sbes sbes2007 isec isec2009 ishcs ishcs2011 anna icse app requirements networks abstractions dimacs ubicomp
See more