4242 search results - page 724 / 849 » For a science of group interaction |
172
click to vote
HICSS
2007
IEEE
16 years 21 days ago
2007
IEEE
In product family approaches such as software product lines, product configuration is a key activity that deals with the constrained combination and parameterization of reusable c...
199
click to vote
LICS
2007
IEEE
16 years 19 days ago
2007
IEEE
The combination of first-order epistemic logic and formal cryptography offers a potentially very powerful framework for security protocol verification. In this article, we addre...
168
click to vote
AIED
2007
Springer
16 years 16 days ago
2007
Springer
Tutorial dialogue has been the subject of increasing attention in recent years, and it has become evident that empirical studies of humanhuman tutorial dialogue can contribute impo...
177
click to vote
GRID
2007
Springer
16 years 15 days ago
2007
Springer
— Scientific applications often perform complex computational analyses that consume and produce large data sets. We are concerned with data placement policies that distribute dat...
155
click to vote
HAPTICS
2006
IEEE
16 years 12 days ago
2006
IEEE
A seven degree-of-freedom (DOF) haptic device has been developed with applications towards robot-assisted minimally invasive surgery. The device consists of four degrees of force ...