Sciweavers

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