5255 search results - page 781 / 1051 » Formal Methods for Privacy |
150
click to vote
MEMOCODE
2006
IEEE
16 years 19 days ago
2006
IEEE
Hand-held devices have rigid constraints regarding power dissipation and energy consumption. Whether a new functionality can be supported often depends upon its power requirements...
178
click to vote
WCRE
2006
IEEE
16 years 19 days 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...
193
click to vote
ACL2
2006
ACM
16 years 18 days ago
2006
ACM
We have implemented parallelism primitives that permit an ACL2 programmer to parallelize execution of ACL2 functions. We (1) introduce logical definitions for these primitives, (...
165
click to vote
CSMR
2005
IEEE
16 years 7 days ago
2005
IEEE
Object-oriented applications are difficult to extend and maintain, due to the presence of implicit dependencies in the inheritance hierarchy. Although these dependencies often co...
150
click to vote
ICRA
2005
IEEE
16 years 6 days ago
2005
IEEE
Abstract— This paper presents a novel approach for visionbased control of the end-effector of parallel mechanisms. It is based on the metrological redundancy paradigm, which simp...