4248 search results - page 376 / 850 » Simulating hci for all |
166
click to vote
ASAP
2007
IEEE
15 years 9 months ago
2007
IEEE
This paper explores the reliability of three different minimum fan-in majority gates full adder (FA) designs, and compares them to the performance of a standard XOR-based FA. The ...
203
click to vote
EWRL
2008
15 years 9 months ago
2008
If one possesses a model of a controlled deterministic system, then from any state, one may consider the set of all possible reachable states starting from that state and using any...
246
click to vote
APCCM
2008
15 years 9 months ago
2008
The work presented in this paper targets the software integration on the level of business process models. The goal is to create the behavioural description of an integrated syste...
197
click to vote
FORTE
2007
15 years 9 months ago
2007
Bisimulation semantics are a very pleasant way to define the semantics of systems, mainly because the simplicity of their definitions and their nice coalgebraic properties. Howev...
212
click to vote
NETWORKING
2007
15 years 9 months ago
2007
In this paper, we study the problem of how to design overlay topologies in multi-hop wireless networks such that the overlays achieve perfect resilience, in terms of all cooperativ...