112 search results - page 13 / 23 » Computer science olympiad: exploring computer science throug... |
CSCW
2010
ACM
14 years 6 months ago
2010
ACM
There is general consensus that critical mass at inception ensures the sustained success of online communities. However, no clear understanding of what constitutes such a 'cr...
CSE
2009
IEEE
14 years 3 months ago
2009
IEEE
—Modern consumer wireless devices are increasingly powerful, making them attractive to use as wireless sensor nodes. At the same time, many use protocol suites such as Bluetooth ...
SPIN
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. In the classic approach to logic model checking, software verification requires a manually constructed artifact (the model) to be written in the language that is accepted...
HICSS
2005
IEEE
14 years 2 months ago
2005
IEEE
Our research seeks to understand how to extend established organization theory and emerging knowledgeflow theory to inform the design of organizations with discontinuous participa...
ICALP
2007
Springer
14 years 3 months ago
2007
Springer
Exploring a graph through search is one of the most basic building blocks of various applications. In a setting with a huge state space, such as in testing and verification, optim...