2416 search results - page 397 / 484 » The design and implementation of typed scheme |
ACSAC
2003
IEEE
14 years 1 months ago
2003
IEEE
1 DOD Joint Vision 2020 (JV2020) is the integrated multi-service planning document for conduct among coalition forces of future warfare. It requires the confluence of a number of k...
ICDCS
2003
IEEE
14 years 1 months ago
2003
IEEE
In a system proposed by Plaxton, Rajaraman and Richa (PRR), the expected cost of accessing a replicated object was proved to be asymptotically optimal for a static set of nodes an...
ICRA
2003
IEEE
14 years 1 months ago
2003
IEEE
— We explore the control of a nonholonomic robot subject to additional constraints on the state variables. In our problem, the user specifies the path of a subset of the state v...
ISQED
2003
IEEE
14 years 1 months ago
2003
IEEE
We discuss a non-intrusive methodology for concurrent fault detection in random combinational logic. The proposed method is similar to duplication, wherein a replica of the circui...
WECWIS
2003
IEEE
14 years 1 months ago
2003
IEEE
Agent negotiation over multiple issues is often seen as the process of searching for a solution in a complex and large space. Depending on the negotiation mechanism such search sp...