公開日 Continuous Time Bayesian Networks for Inferring Users’ Presence and Activities with Extensions for Modeling and Evaluation Eric Horvitz MSR-TR-2003-97 | December 2003
公開日 Verifying Invariants in Object-Oriented Programs Rustan Leino, Mike Barnett, Robert DeLine, Manuel Fähndrich, Wolfram Schulte Computer Science Colloquium, ETH Zurich | November 2003
公開日 Abstract State Machines: An Overview of the Project Yuri Gurevich “Foundations of Information and Knowledge Systems” Springer Lecture Notes in Computer Science. | November 2003
公開日 Do optimal entropy-constrained quantizers have a finite or infinite number of codewords? Andras Gyorgy, Tamas Linder, Philip A. Chou, Bradley J. Betts, Philip A. Chou IEEE Trans. Information Theory | November 2003
公開日 null Manuel Fahndrich, Rustan Leino Proceedings of the 2003 ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2003 | November 2003 Proceedings of the 2003 ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2003
公開日 The λ Abroad – A Functional Approach to Software Components Daan Leijen November 2003 博士論文:Dept. of Computer Science, Universiteit Utrecht | November 2003
公開日 Xen and the Art of Virtualization Paul Barham, Boris Dragovic, Keir Fraser, Steven Hand, Tim Harris, Alex Ho, Rolf Neugebauer, Ian Pratt, Andrew Warfield Symposium on Operating Systems Principles (SOSP ’03) | October 2003