4978 search results - page 911 / 996 » Logical models of argument |
142
click to vote
ICNP
2006
IEEE
15 years 10 months ago
2006
IEEE
— This paper reports on an experiment in network protocol design: we use novel rigorous techniques in the design process of a new protocol, in a close collaboration between syste...
144
click to vote
ISCC
2006
IEEE
15 years 10 months ago
2006
IEEE
Abstract— Today data sources are pervasive and their number is growing tremendously. Current tools are not prepared to exploit this unprecedented amount of information and to cop...
125
click to vote
ISQED
2006
IEEE
15 years 10 months ago
2006
IEEE
This paper is concerned with statically analyzing the susceptibility of arbitrary combinational circuits to single event upsets that are becoming a significant concern for reliabi...
153
click to vote
ROBIO
2006
IEEE
15 years 10 months ago
2006
IEEE
- The implementation of inverse kinematics and servo controller for robot manipulator using FPGA (Field Programmer Gate Array) is investigated in this paper. Firstly, the mathemati...
123
click to vote
NETGAMES
2006
ACM
15 years 10 months ago
2006
ACM
Consistency maintenance of replicated data in multiplayer games is a challenging issue due to the performance constraints of real-time interactive applications. We present an appr...