302 search results - page 20 / 61 » An approach to synthesise safe systems |
160
click to vote
3DPVT
2006
IEEE
16 years 5 days ago
2006
IEEE
In this paper, we propose a method for 3D-model retrieval from one or more photos. This method provides an ”optimal” selection of 2D views to represent a 3D-model, and a proba...
152
click to vote
CASES
2006
ACM
16 years 2 days ago
2006
ACM
This paper considers the efficient parallel implementation of control constructs and expressions written in a common software programming language and synthesised to FPGA platform...
154
click to vote
ICDCS
2008
IEEE
16 years 16 days ago
2008
IEEE
We present a simple, yet powerful, approach for the specification and enforcement of authorizations regulating data release among data holders collaborating in a distributed comp...
158
Voted
IEEEARES
2008
IEEE
16 years 15 days ago
2008
IEEE
—Failure detectors are a fundamental part of safe fault-tolerant distributed systems. Many failure detectors use heartbeats to draw conclusions about the state of nodes within a ...
159
Voted
ICPADS
2007
IEEE
16 years 12 days ago
2007
IEEE
Security is a common problem in completely decentralized peer-to-peer systems. Although several suggestions exist on how to create a secure key-based routing protocol, a practicab...