359 search results - page 17 / 72 » What to Do About Microsoft |
182
click to vote
CSEE
2011
Springer
14 years 1 months ago
2011
Springer
Pex4Fun (http://www.pexforfun.com/)from Microsoft Research is a web-based serious gaming environment for teaching computer science. Pex4Fun can be used to teach and learn computer...
ARGMAS
2008
Springer
14 years 11 months ago
2008
Springer
The social laws paradigm represents an important approach to the co-ordination of behaviour in multi-agent systems. In this paper we examine the relationship between social laws an...
ISSTA
2009
ACM
15 years 4 months ago
2009
ACM
This paper presents techniques for analyzing channel contract specifications in Microsoft Research’s Singularity operating system. A channel contract is a state machine that sp...
KDD
1998
ACM
15 years 1 months ago
1998
ACM
We consider the problem of nding rules relating patterns in a time series to other patterns in that series, or patterns in one series to patterns in another series. A simple examp...
ECIS
2001
14 years 11 months ago
2001
It has been conventional wisdom that, for e-commerce to fulfil its potential, each party to a transaction must be confident about the identity of the others. Digital signature tec...