Sciweavers

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