371 search results - page 37 / 75 » Verification of Timing Properties in Rapid System Prototypin... |
ICRA
2003
IEEE
14 years 1 months ago
2003
IEEE
The use of high performance composite materials provides a substantial performance improvement for microrobotics. Such materials have great benefits over common MEMs materials su...
ASIAN
2009
Springer
13 years 9 months ago
2009
Springer
In cryptographic protocols, zero knowledge proofs are employed for a principal A to communicate some non-trivial information t to B while at the same time ensuring that B cannot de...
SIMPRA
2010
13 years 6 months ago
2010
Integrated performance simulation of buildings and heating, ventilation and airconditioning (HVAC) systems can help reducing energy consumption and increasing occupant comfort. Ho...
CADE
2010
Springer
13 years 9 months ago
2010
Springer
Abstract. We describe mcmt, a fully declarative and deductive symbolic model checker for safety properties of infinite state systems whose state variables are arrays. Theories spec...
SAC
2010
ACM
14 years 2 months ago
2010
ACM
We consider self-stabilizing and self-organizing distributed construction of a spanner that forms an expander. The following results are presented. • A randomized technique to r...