302 search results - page 20 / 61 » An approach to synthesise safe systems |
99
Voted
3DPVT
2006
IEEE
15 years 6 months 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...
CASES
2006
ACM
15 years 6 months 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...
105
Voted
ICDCS
2008
IEEE
15 years 6 months 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...
93
Voted
IEEEARES
2008
IEEE
15 years 6 months 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 ...
ICPADS
2007
IEEE
15 years 6 months 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...