Using temporal relations to specify and test an instant messaging server.

John Hughes Ulf Norell Jérôme Sautret

Published in: AST (2010)

Keyphrases

temporal relations
instant messaging
email
temporal information
distance education
spatial relations
text messaging
data collection
communication technologies
chat conversations
cooperative
temporal reasoning
multimedia
text classification
video clips
social networking sites