4248 search results - page 114 / 850 » Simulating hci for all |
144
Voted
WETICE
2005
IEEE
15 years 10 months ago
2005
IEEE
In distributed software engineering, the role of informal communication is frequently overlooked. Participants simply employ their own ad-hoc methods of informal communication. Co...
175
click to vote
SBACPAD
2003
IEEE
15 years 10 months ago
2003
IEEE
This paper discusses the implementation of a numerical algorithm for simulating incompressible fluid flows based on the finite difference method and designed for parallel compu...
171
Voted
SIGMETRICS
2003
ACM
15 years 10 months ago
2003
ACM
In this paper we present a general hybrid systems modeling framework to describe the flow of traffic in communication networks. To characterize network behavior, these models use...
147
Voted
PODC
1999
ACM
15 years 9 months ago
1999
ACM
We present a new approach for reasoning about liveness properties of distributed systems, represented as automata. Our approach is based on simulation relations, and requires reas...
143
Voted
DAC
1997
ACM
15 years 8 months ago
1997
ACM
The biggest obstacle in the formal verification of large designs is their very large state spaces, which cannot be handled even by techniques such as implicit state space travers...