5675 search results - page 450 / 1135 » Formalising Performative Interaction |
244
click to vote
CPE
1998
Springer
15 years 12 months ago
1998
Springer
This paper describes a modular and scalable simulation environment, called GloMoSim, to evaluate end-to-end performance of integrated wired and wireless networks. GloMoSim has been...
255
click to vote
DSVIS
1998
Springer
15 years 12 months ago
1998
Springer
Formal modelling, in interactive system design, has received considerably less real use than might have been hoped. Heavy weight formal methods can be expensive to use, with poor c...
185
click to vote
CHI
1997
ACM
15 years 12 months ago
1997
ACM
An experimental GUI paradigm is presented which is based on the design goals of maximizing the amount of screen used for application data, reducing the amount that the UI diverts ...
189
click to vote
TIME
1994
IEEE
15 years 11 months ago
1994
IEEE
We are concerned with temporalreasoning problems where there is uncertainty about the order in which events occur. The task of temporal reasoning is to derive an event sequence co...
204
click to vote
CHI
1994
ACM
15 years 11 months ago
1994
ACM
When working with large data sets, users perform three primary types of activities: data manipulation, data analysis, and data visualization. The data manipulation process involve...