2317 search results - page 228 / 464 » DMVIS: Design, Modelling and Validation of Interactive Syste... |
118
click to vote
MSWIM
2009
ACM
15 years 11 months ago
2009
ACM
We evaluate an asynchronous gossiping middleware for wireless users that propagates messages from any group member to all the other group members. This propagation can either be i...
143
click to vote
RECSYS
2010
ACM
15 years 4 months ago
2010
ACM
An increasing number of social networking platforms are giving users the option to endorse entities that they find appealing, such as videos, photos, or even other users. We defin...
163
click to vote
ESAW
2004
Springer
15 years 9 months ago
2004
Springer
Virtual Enterprises are a major trend within the B2B scenario. Technological support towards enabling this cooperation model includes the multi-agent systems paradigm. In this pape...
153
click to vote
AIED
2009
Springer
15 years 7 months ago
2009
Springer
Giving effective help is an important collaborative skill that leads to improved learning for both the help-giver and help-receiver. Adding intelligent tutoring to student interact...
122
click to vote
ASM
2008
ASM
15 years 6 months ago
2008
ASM
As systems become ever more complex, verification becomes more main stream. Event-B and Alloy are two formal specification languages based on fairly different methodologies. While...