2106 search results - page 331 / 422 » Specifying C concepts |
PODC
2010
ACM
14 years 22 days ago
2010
ACM
In this paper, we present a framework for achieving anonymity and trust, two seemingly contradictory properties, in distributed systems. Our approach builds on webs of trust, a we...
SP
2010
IEEE
14 years 22 days ago
2010
IEEE
—A growing number of current web sites combine active content (applications) from untrusted sources, as in so-called mashups. The object-capability model provides an appealing ap...
3DPVT
2004
IEEE
14 years 18 days ago
2004
IEEE
We present a novel range sensing method that is capable of constructing accurate 3D models of specular objects. Our method utilizes a new range imaging concept called multi-peak r...
ACSD
2004
IEEE
14 years 18 days ago
2004
IEEE
The design productivity gap has been recognized by the semiconductor industry as one of the major threats to the continued growth of system-on-chips and embedded systems. Ad-hoc s...
CBSE
2006
Springer
14 years 18 days ago
2006
Springer
We present a novel approach which facilitates formal verification of component-based software application families using model checking. This approach enables effective composition...