13717 search results - page 2253 / 2744 » Control Systems |
159
click to vote
IWPC
2009
IEEE
16 years 27 days ago
2009
IEEE
Source code obfuscation is a protection mechanism widely used to limit the possibility of malicious reverse engineering or attack activities on a software system. Although several...
133
click to vote
CRYPTO
2009
Springer
16 years 25 days ago
2009
Springer
We construct an efficient delegatable anonymous credentials system. Users can anonymously and unlinkably obtain credentials from any authority, delegate their credentials to other ...
194
click to vote
ESAW
2009
Springer
16 years 25 days ago
2009
Springer
Abstract. Load-Balancing is a significant problem in heterogeneous distributed systems. There exist many load balancing algorithms, however, most approaches are very problem speci...
146
click to vote
FM
2009
Springer
16 years 25 days ago
2009
Springer
Abstract. Bounding resource usage is important for a number of areas, notably real-time embedded systems and safety-critical systems. In this paper, we present a fully automatic st...
135
click to vote
FMCAD
2009
Springer
16 years 25 days ago
2009
Springer
stractions for Floating-Point Arithmetic Angelo Brillout Computer Systems Institute, ETH Zurich Daniel Kroening and Thomas Wahl Oxford University Computing Laboratory Abstract—Fl...