7778 search results - page 1237 / 1556 » Designing Controllers for Reachability |
120
click to vote
SSS
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. In this paper, we mix two well-known approaches of the fault-tolerance: robustness and stabilization. Robustness is the aptitude of an algorithm to withstand permanent fa...
116
click to vote
ACSAC
2006
IEEE
15 years 10 months ago
2006
IEEE
Access control and integrity constraints are well known approaches to ensure data integrity in commercial database systems. However, due to operational mistakes, malicious intent ...
112
click to vote
ACSAC
2006
IEEE
15 years 10 months ago
2006
IEEE
Security-typed languages are an evolving tool for implementing systems with provable security guarantees. However, to date, these tools have only been used to build simple “toy...
144
click to vote
AINA
2006
IEEE
15 years 10 months ago
2006
IEEE
— A considerable body of evidence indicates that the use of reliable link layer protocols over error prone wireless links dramatically improves the performance of Internet protoc...
130
Voted
CGI
2006
IEEE
15 years 10 months ago
2006
IEEE
Abstract. In this paper, we propose a novel mesh deformation approach via manipulating differential properties non-uniformly. Guided by user-specified material properties, our met...