Sciweavers

8781 search results - page 1505 / 1757
» Enterprise Model Integration
Sort
View
ROBIO
2006
IEEE
139views Robotics» more  ROBIO 2006»
16 years 15 days ago
Biologically Inspired Reflex Based Stabilization Control of a Humanoid Robot with Artificial SMA Muscles
- Suddenly occurring collisions or unintentional motions represent a high safety risk in robotics and must be prevented. Especially for humanoid robots, the influence of disturbanc...
Robert Kratz, Sebastian Klug, Maximilian Stelzer, ...
SMI
2006
IEEE
112views Image Analysis» more  SMI 2006»
16 years 15 days ago
ReMESH: An Interactive Environment to Edit and Repair Triangle Meshes
Polygonal meshes obtained from acquisition of real-world objects may easily exhibit topological or geometrical defects, which often prevent subsequent processing and analysis to p...
Marco Attene, Bianca Falcidieno
WETICE
2006
IEEE
16 years 15 days ago
Security Verification Techniques Applied to PatchLink COTS Software
Verification of the security of software artifacts is a challenging task. An integrated approach that combines verification techniques can increase the confidence in the security ...
David P. Gilliam, John D. Powell, Matt Bishop, Chr...
ACNS
2006
Springer
86views Cryptology» more  ACNS 2006»
16 years 15 days ago
W3Bcrypt: Encryption as a Stylesheet
Abstract. While web-based communications (e.g., webmail or web chatrooms) are increasingly protected by transport-layer cryptographic mechanisms, such as the SSL/TLS protocol, ther...
Angelos Stavrou, Michael E. Locasto, Angelos D. Ke...
ASPDAC
2006
ACM
137views Hardware» more  ASPDAC 2006»
16 years 14 days ago
Parameterized block-based non-gaussian statistical gate timing analysis
As technology scales down, timing verification of digital integrated circuits becomes an increasingly challenging task due to the gate and wire variability. Therefore, statistical...
Soroush Abbaspour, Hanif Fatemi, Massoud Pedram
« Prev « First page 1505 / 1757 Last » Next »