What distinguishes e-commerce from ordinary commerce? What distinguishes it from distributed computation? In this paper we propose a performative theory of e-commerce, drawing on ...
This paper introduces the first integrated algorithm designed to discover novel motifs in heterogeneous sequence data, which is comprised of coregulated genes from a single genome...
This paper discusses how a new technology (designed to help pupils with learning about Shakespeare's Macbeth) is introduced and integrated into existing classroom practices. I...
I knew Jim Gray as a colleague, a friend and an employee. He created the first Microsoft Research group outside of our initial research lab in Redmond, WA. Jim's impact on in...
Abstract: The integration of agile software development techniques with formal methods has attracted attention as a research topic. But what exactly is to be gained from attempting...