139 search results - page 7 / 28 » ideal 2000 |
ISER
2000
Springer
13 years 11 months ago
2000
Springer
: An "ideal" upper limb prosthesis should be perceived as part of the natural body by the amputee and should replicate sensory-motor capabilities of the amputated limb. H...
AAAI
2000
13 years 8 months ago
2000
We consider the use of multi-agent systems to control network routing. Conventional approaches to this task are based on Ideal Shortest Path routing Algorithm (ISPA), under which ...
CCS
2000
ACM
13 years 11 months ago
2000
ACM
We consider compositional properties of reactive systems that are secure in a cryptographic sense. We follow the wellknown simulatability approach, i.e., the specification is an ...
DM
2008
13 years 7 months ago
2008
By a nearlattice is meant a join-semilattice having the property that every principal filter is a lattice with respect to the semilattice order. We introduce the concept of (relat...
ISSS
2000
IEEE
13 years 11 months ago
2000
IEEE
Time-driven simulation models typically model timing in an idealized way that is over-constrained and cannot be directly implemented. In this paper we present a transformation to ...