Sciweavers

1842 search results - page 72 / 369
» Measurable systems and behavioral sciences
Sort
View
WEBNET
1998
13 years 11 months ago
Using Agents as a Currency of Exchange between End-Users
: The Behavior Exchange is an AgentSheets-based forum employing the web for the collaborative creation of SimCityTM-like interactive simulations. While initially the Behavior Excha...
Alexander Repenning, Martin Rausch, Jonathan Phill...
SPIN
1999
Springer
14 years 1 months ago
The Engineering of a Model Checker: The Gnu i-Protocol Case Study Revisited
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...
Gerard J. Holzmann

Book
537views
15 years 7 months ago
How to Think Like a Computer Scientist: Java Version
""The goal of this book is to teach you to think like a computer scientist. I like the way computer scientists think because they combine some of the best features of Mat...
Allen B. Downey

Book
1497views
15 years 7 months ago
How to Think Like a Computer Scientist: C++ Version
"The goal of this book is to teach you to think like a computer scientist. I like the way computer scientists think because they combine some of the best features of Mathemati...
Allen B. Downey
NETGAMES
2006
ACM
14 years 3 months ago
Network game design: hints and implications of player interaction
While psychologists analyze network game-playing behavior in terms of players’ social interaction and experience, understanding user behavior is equally important to network res...
Kuan-Ta Chen, Chin-Laung Lei