2137 search results - page 352 / 428 » Proving Abstract Non-interference |
DAIS
2003
14 years 16 days ago
2003
Abstract. It is generally agreed that one of the key services of componentbased systems are transactions. However, an agreement on how components should be involved in transactions...
DICTA
2003
14 years 16 days ago
2003
Abstract. Mahalanobis distance has already proved its strength in human skin detection using a set of skin values. We present this work that uses automatic skin detection after an ...
ECIS
2003
14 years 16 days ago
2003
Today, companies and their information systems are facing a very dynamic and fast changing environment. Fast changing demands require varying information in varying places. Users ...
ICISC
2003
14 years 16 days ago
2003
Abstract. It had been thought that it is difficult to provide receiptfreeness in mixnet-based electronic voting schemes. Any kind of user chosen randomness can be used to construct...
PST
2004
14 years 16 days ago
2004
Abstract-- This work aims at measuring familiarity to contribute to the formalization of trust. Trust has always been bundled with familiarity to become a popular topic in the area...