Sciweavers

5084 search results - page 294 / 1017
» Proving Possibility Properties
Sort
View
RAS
2008
167views more  RAS 2008»
15 years 6 months ago
Bio-mimetic impedance control of robotic manipulator for dynamic contact tasks
A human performs a variety of skillful movements by adjusting dynamic characteristics of his or her musculoskeletal system according to a task involved. Such characteristics of hu...
Toshio Tsuji, Yoshiyuki Tanaka
IEEEARES
2010
IEEE
15 years 5 months ago
A New DRM Architecture with Strong Enforcement
—We propose a new DRM architecture that utilizes a two-step enforcement process to enable strong security even in the case of a compromised DRM viewer. This is achieved by using ...
Sascha Müller, Stefan Katzenbeisser
SOCA
2010
IEEE
15 years 4 months ago
Concept mapping for faster QoS-aware web service composition
The availability of Web services with similar functionality but different QoS values creates new challenges for Web services composition: not only functional properties of the comp...
Viktoriya Degeler, Ilce Georgievski, Alexander Laz...
MA
2011
Springer
230views Communications» more  MA 2011»
15 years 1 months ago
Weighted-mean trimming of multivariate data
A general notion of trimmed regions for empirical distributions in d-space is introduced. The regions are called weighted-mean trimmed regions. They are continuous in the data as ...
Rainer Dyckerhoff, Karl Mosler
IFIP
2010
Springer
15 years 1 months ago
A Formal Analysis of Authentication in the TPM
The Trusted Platform Module (TPM) is a hardware chip designed to enable computers to achieve a greater level of security than is possible in software alone. To this end, the TPM pr...
Stéphanie Delaune, Steve Kremer, Mark Dermo...