196
click to vote
ICWE
2010
Springer
15 years 9 months ago
2010
Springer
: Business Conversation Manager: Facilitating People Interactions in Outsourcing Service Engagements Hamid R. Motahari-Nezhad, Sven Graupner, Sharad Singhal HP Laboratories HPL...
232
click to vote
ICWE
2010
Springer
15 years 9 months ago
2010
Springer
In a mobile setting, users use, handle and search for online information in a different way. Two features typically desired by mobile users are tailored information delivery and co...
199
click to vote
ICWE
2010
Springer
15 years 9 months ago
2010
Springer
Model-based approaches for interactive Web applications have neglected vocal interaction. However, ubiquitous multi-device environments call for better support for such modality. I...
150
Voted
CADE
2008
Springer
15 years 9 months ago
2008
Springer
We introduce a DPLL calculus that is a decision procedure for the Bernays-Sch