2513 search results - page 427 / 503 » Tamper-Tolerant Software: Modeling and Implementation |
ESCIENCE
2006
IEEE
14 years 4 months ago
2006
IEEE
We have designed a maximum likelihood fitter using the actor model to distribute the computation over a heterogeneous network. The prototype implementation uses the SALSA program...
SRDS
2006
IEEE
14 years 4 months ago
2006
IEEE
Distributed snapshots are an important building block for distributed systems, and, among other applications, are useful for constructing efficient checkpointing protocols. In ad...
WCRE
2006
IEEE
14 years 4 months ago
2006
IEEE
Programming is modeling the reality. Most of the times, the mapping between source code and the real world concepts is captured implicitly in the names of identifiers. Making the...
CRV
2005
IEEE
14 years 3 months ago
2005
IEEE
We present an approach to recognizing faces with varying appearances which also considers the relative probability of occurrence for each appearance. We propose and demonstrate ex...
HAPTICS
2005
IEEE
14 years 3 months ago
2005
IEEE
This paper describes the implementation of a demo that will be shown at the conference site. The demo of “softfinger grasping of physically based quasi-rigid objects” will pr...