9110 search results - page 39 / 1822 » Formally-Based Design Evaluation |
MSWIM
2009
ACM
15 years 4 months ago
2009
ACM
Host Identity Protocol (HIP) decouples IP addresses from higher layer Internet applications by proposing a new, cryptographic namespace for host identities. HIP has great potentia...
MOBICOM
2010
ACM
14 years 10 months ago
2010
ACM
Multi-User MIMO promises to increase the spectral efficiency of next generation wireless systems and is currently being incorporated in future industry standards. Although a signi...
105
click to vote
IJRR
2010
14 years 8 months ago
2010
The inherent uncertainty associated with unstructured environments makes establishing a successful grasp difficult. Traditional approaches to this problem involve hands that are c...
ACMIDC
2010
15 years 1 months ago
2010
In designing communication technology for children, it is important to understand the affective benefits and costs introduced by a particular medium. We present an Affective Benef...
JSS
2007
14 years 9 months ago
2007
The paper presents a method to compute performance metrics (response time, sojourn time, throughput) on Unified Modeling Language design. The method starts with UML design annota...