1886 search results - page 80 / 378 » Verifying and Validating Simulation Models |
JIISIC
2008
14 years 11 months ago
2008
This article presents an experience report on using MERODE as the business modeling method for the development of a web application. MERODE has several advantages as improving the...
ICRA
2006
IEEE
15 years 3 months ago
2006
IEEE
— In this paper, we propose a power assist system that amplifies sinusoidal human’s torque and attains minimization of control input requirement using an impedance control and...
SUTC
2006
IEEE
15 years 3 months ago
2006
IEEE
Given a query point p, typically the position of a current client, and two datasets S and R, a transitive nearest neighbor (TNN) search returns a pair of objects (s, r) ∈ S × R...
ASIACRYPT
2006
Springer
15 years 1 months ago
2006
Springer
Non-interactive zero-knowledge proofs play an essential role in many cryptographic protocols. We suggest several NIZK proof systems based on prime order groups with a bilinear map...
ICCS
2005
Springer
15 years 3 months ago
2005
Springer
Active structures capable of responding to external stimulii represent the emerging frontier in structural design. Robust and real-time sensing, control, and actuation pose fundame...