431 search results - page 1 / 87 » The five orders of ignorance |
CACM
2000
13 years 4 months ago
2000
STTT
2010
12 years 11 months ago
2010
Abstract. Partial order reduction limits the state explosion problem that arises in model checking by limiting the exploration of redundant interleavings. A state space search algo...
NECO
2006
13 years 4 months ago
2006
ECIS
2004
13 years 6 months ago
2004
The term business model has been used loosely several times for describing a company's strategies, revenue model, processes and overall business logic both by researchers and...
CSCW
2004
ACM
13 years 10 months ago
2004
ACM
Modern workplaces often bring together virtual teams where some members are collocated, and some participate remotely. We are using a simulation game to study collaborations of 10...