1541 search results - page 11 / 309 » Interaction Analysis in Aspect-Oriented Models |
ADHOC
2010
13 years 7 months ago
2010
Abstract--Interference plays a complex and often defining role in the performance of wireless networks, especially in multi-hop scenarios. In the presence of interference, Carrier ...
CSSE
2006
IEEE
13 years 7 months ago
2006
IEEE
CEC
2011
IEEE
12 years 7 months ago
2011
IEEE
EICS
2009
ACM
14 years 2 months ago
2009
ACM
This paper discusses the use of formal methods for analysing human-computer interaction. We focus on the mode confusion problem that arises whenever the user thinks that the syste...
AVI
1996
13 years 8 months ago
1996
Visual interfaces to computer systems are interactive. The cycle of visual interaction involves both visual perception and action. This paper examines formal models of interactive...