4241 search results - page 601 / 849 » A Knowledge-Based Software Information System |
166
click to vote
TOSEM
2010
15 years 4 months ago
2010
n the concept of abstract clone region descriptors (CRDs), which describe clone regions using a combination of their syntactic, structural, and lexical information. We present our ...
152
Voted
UIST
2010
ACM
15 years 4 months ago
2010
ACM
We present a system for the actuation of tangible magnetic widgets (Madgets) on interactive tabletops. Our system combines electromagnetic actuation with fiber optic tracking to m...
177
click to vote
UIST
2010
ACM
15 years 4 months ago
2010
ACM
As networking moves into the home, home users are increasingly being faced with complex network management chores. Previous research, however, has demonstrated the difficulty many...
143
click to vote
VSTTE
2010
Springer
15 years 4 months ago
2010
Springer
Formal modeling of computing systems yields models that are intended to be correct with respect to the requirements that have been formalized. The complexity of typical computing s...
242
Voted
DLS
2009
15 years 3 months ago
2009
Behavioral software contracts express properties concerning the flow of values across component (modules, classes, etc) interfaces. These properties are often beyond the reach of ...