636 search results - page 101 / 128 » Understanding knowledge as a commons: From theory to practic... |
108
click to vote
TACAS
2010
Springer
15 years 8 months ago
2010
Springer
Boolean satisfiability (SAT) and its extensions are becoming a core technology for the analysis of systems. The SAT-based approach divides into three steps: encoding, preprocessin...
IEEEIAS
2009
IEEE
15 years 8 months ago
2009
IEEE
: The link between security engineering and systems engineering exists at the earliest stage of systems development, and, as a whole, there is sufficient evidence to suggest the di...
93
Voted
IWPC
2009
IEEE
15 years 8 months ago
2009
IEEE
Comprehending an unfamiliar code fragment requires an awareness of explicit usage directives that may be present in the documentation of some invoked functions. Since it is not pr...
124
click to vote
ATAL
2009
Springer
15 years 8 months ago
2009
Springer
In hedonic games, players have the opportunity to form coalitions, and have preferences over the coalitions they might join. Such games can be used to model a variety of settings ...
102
click to vote
WIKIS
2006
ACM
15 years 7 months ago
2006
ACM
In this paper we ask to what extent collective cognition can be supported and sustained in classroom practices. One major challenge for learning in technology-rich, collaborative ...