754 search results - page 73 / 151 » Can self-managed systems be trusted |
134
click to vote
FM
2003
Springer
15 years 9 months ago
2003
Springer
As the systems we have to specify and verify become larger and more complex, there is a mounting need to combine different tools and decision procedures to accomplish large proof ...
128
click to vote
IEEEARES
2006
IEEE
15 years 10 months ago
2006
IEEE
A P2P currency can be a powerful tool for promoting exchanges in a trusted way that make use of under-utilized resources both in computer networks and in real life. There are thre...
134
click to vote
TRUST
2010
Springer
15 years 9 months ago
2010
Springer
Abstract. Increasing adoption of smartphones in recent times has begun to attract more and more malware writers towards these devices. Among the most prominent and widely adopted o...
125
click to vote
DEXAW
2005
IEEE
15 years 10 months ago
2005
IEEE
A peer-to-peer complementary currency can be a powerful tool for promoting exchanges that make use of underutilized computing resources in a trusted way. i-WAT[11] is a proposed s...
146
click to vote
WORDS
2005
IEEE
15 years 10 months ago
2005
IEEE
Major computer companies and government agencies are adopting Web Services (WS) technology. Web services must ensure interoperability and security, and be reliable and trustworthy...