1716 search results - page 309 / 344 » Proving Conditional Termination |
92
Voted
INFOCOM
2008
IEEE
15 years 7 months ago
2008
IEEE
Network routing may be required, under certain applications, to avoid certain areas (or nodes) These areas can be of potential security threat, possess poor quality or have other ...
104
Voted
LCTRTS
2007
Springer
15 years 6 months ago
2007
Springer
Energy efficiency is an important factor in embedded systems design. We consider an embedded system with a dynamic voltage scaling (DVS) capable processor and its system-wide pow...
96
Voted
ICDCS
2006
IEEE
15 years 6 months ago
2006
IEEE
Byzantine quorum systems have been proposed that work properly even when up to f replicas fail arbitrarily. However, these systems are not so successful when confronted with Byzan...
136
Voted
ACMICEC
2006
ACM
15 years 6 months ago
2006
ACM
This paper formalizes the semantics of trust and studies the transitivity of trust. On the Web, people and software agents have to interact with “strangers”. This makes trust ...
124
Voted
ICDCSW
2005
IEEE
15 years 6 months ago
2005
IEEE
Error resilient encoding in video communication is becoming increasingly important due to data transmission over unreliable channels. In this paper, we propose a new power-aware e...