2838 search results - page 183 / 568 » Verifying Controlled Components |
ICPR
2004
IEEE
14 years 12 months ago
2004
IEEE
This paper proposes two indicators for predicting the quality of camera model parameters from a set of input images. The first indicator is based on the acutance. It can quickly i...
CCS
2010
ACM
14 years 5 months ago
2010
ACM
Even though role-based access control (RBAC) can tremendously help us minimize the complexity in administering users, it is still needed to realize the notion of roles at the reso...
IAT
2009
IEEE
14 years 5 months ago
2009
IEEE
—We present a security system consisting of an arbitrary number of entries, sensors and agents. The intelligent integrated system is based on user modeling, i.e. models of their ...
RP
2009
Springer
14 years 5 months ago
2009
Springer
We present an abstraction of the probabilistic semantics of Multiset Rewriting to formally express systems of reactions with uncertain kinetic rates. This allows biological systems...
WOWMOM
2009
ACM
14 years 5 months ago
2009
ACM
It has been shown that IEEE 802.11 DCF medium access control (MAC) protocol may not be suitable for multihop wireless networks due to its relatively low throughput and severely un...