1134 search results - page 137 / 227 » Distributed Proving in Access-Control Systems |
184
Voted
SIGMETRICS
2004
ACM
15 years 9 months ago
2004
ACM
The use of environmental energy is now emerging as a feasible energy source for embedded and wireless computing systems such as sensor networks where manual recharging or replacem...
145
click to vote
HICSS
2005
IEEE
15 years 9 months ago
2005
IEEE
The goal of a Public-Key-Infrastructure (PKI) is to prove whether a cryptographic public key is authentic for a certain user. This information is crucial for the reliability of as...
147
Voted
IPPS
2003
IEEE
15 years 9 months ago
2003
IEEE
The efficient solution of large systems of linear equations represented by sparse matrices appears in many tasks. LU factorization followed by backward and forward substitutions i...
144
Voted
CDC
2009
IEEE
15 years 8 months ago
2009
IEEE
Abstract— Despite its simplicity (two controllers and otherwise LQG), Witsenhausen’s counterexample is one of the long-standing open problems in stochastic distributed control....
105
Voted
CONCUR
1999
Springer
15 years 7 months ago
1999
Springer
Statecharts is a visual language for specifying the behavior of reactive systems. The language extends nite-state machines with concepts of hierarchy, concurrency, and priority. De...