Sciweavers

471 search results - page 43 / 95
» Case studies for self-organization in computer science
Sort
View
ACSC
2007
IEEE
14 years 3 months ago
Dynamic Measurement of Polymorphism
Measuring "reuse" and "reusability" is difficult because there are so many different facets to these concepts. Before we can effectively measure reuse and reus...
Kelvin Choi, Ewan D. Tempero
SAJ
2000
80views more  SAJ 2000»
13 years 8 months ago
Handling diversity in group Work in the information systems class
Tertiary institutions in South Africa are faced with dealing with diversity in all its forms in our classrooms. Information Systems, Information Technology and Computer Science st...
T. Thomas, C. De Villiers
WG
2010
Springer
13 years 7 months ago
Colouring Vertices of Triangle-Free Graphs
The vertex colouring problem is known to be NP-complete in the class of triangle-free graphs. Moreover, it remains NP-complete even if we additionally exclude a graph F which is n...
Konrad Dabrowski, Vadim V. Lozin, Rajiv Raman, Ber...
CHI
2009
ACM
14 years 9 months ago
Expert recommender systems in practice: evaluating semi-automatic profile generation
Expert recommender systems (ERS) are considered a promising technology in knowledge management. However, there are very few studies which evaluated their appropriation in practice...
Tim Reichling, Volker Wulf
TPHOL
1997
IEEE
14 years 1 months ago
An Isabelle-Based Theorem Prover for VDM-SL
This note lists references which address –in some way or another– the problems relating to formal manipulation of logical expressions where terms can fail to denote. Reference...
Sten Agerholm, Jacob Frost