1541 search results - page 11 / 309 » Interaction Analysis in Aspect-Oriented Models |
148
click to vote
ADHOC
2010
15 years 5 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 ...
124
Voted
CSSE
2006
IEEE
15 years 5 months ago
2006
IEEE
140
click to vote
EICS
2009
ACM
16 years 3 days 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...
190
Voted
AVI
1996
15 years 7 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...