4693 search results - page 634 / 939 » Verifying Hybrid Systems |
142
click to vote
ICRA
2006
IEEE
16 years 24 days ago
2006
IEEE
- This paper describes the development of an Adaptive Non-linear PI Torque Control for electro-rheological fluid (ERF) based variable resistance brakes that are used in compact and...
168
click to vote
ICMCS
2005
IEEE
16 years 11 days ago
2005
IEEE
The topic of this communication is shape-similarity search for 3D-mesh models. We present and evaluate a composite 3D-shape feature vector (DESIRE), which is formed using depth bu...
176
click to vote
IEEESCC
2005
IEEE
16 years 10 days ago
2005
IEEE
In this paper we discuss a case study for the UK Police IT Organisation (PITO) on using a model-based approach to verifying web service composition interactions for a coordinated ...
168
Voted
SP
2005
IEEE
16 years 10 days ago
2005
IEEE
Self-checking software tamper resistance mechanisms employing checksums, including advanced systems as recently proposed by Chang and Atallah (2002) and Horne et al. (2002), have ...
169
click to vote
WECWIS
2005
IEEE
16 years 10 days ago
2005
IEEE
A zero-knowledge proof (ZKP) is an interactive proof that allows a prover to prove the knowledge of a secret to a verifier without revealing it. ZKPs are powerful tools to deal wi...