Sciweavers

4584 search results - page 64 / 917
» interactions 2007
Sort
View
JAPLL
2007
52views more  JAPLL 2007»
13 years 7 months ago
Specifying and verifying interaction protocols in a temporal action logic
Laura Giordano, Alberto Martelli, Camilla Schwind
PERVASIVE
2007
Springer
13 years 7 months ago
An Architecture for Interactive Context-Aware Applications
Kasim Rehman, Frank Stajano, George Coulouris