9997 search results - page 101 / 2000 » The case for crowd computing |
IPPS
2000
IEEE
15 years 2 months ago
2000
IEEE
We argue that mutable programs are an important class of future applications. The field of software agents is an important beneficiary of mutability. We evaluate existing mutabl...
SPIN
1999
Springer
15 years 2 months ago
1999
Springer
In a recent study a series of model checkers, among which Spin [5], SMV [9], and a newer system called XMC [10], were compared on performance. The measurements used for this compar...
ACMDIS
1997
ACM
15 years 2 months ago
1997
ACM
The paper describes lessons learned about the design of a form for interactive narrative. The lessons are based on an initial prototype and have ramifications for both a next-step...
AINTEC
2006
Springer
15 years 1 months ago
2006
Springer
Mobility models must scale accordingly to the application and reflect real scenarios in which wireless devices are deployed. Typical examples of scenarios requiring precise mobilit...
LREC
2010
14 years 11 months ago
2010
Propp's influential structural analysis of fairy tales created a powerful schema for representing storylines in terms of character functions, which is directly exploitable fo...