51692 search results - page 10071 / 10339 » at 2008 |
165
click to vote
SCAM
2008
IEEE
16 years 1 months ago
2008
IEEE
Bug-checking tools have been used with some success in recent years to find bugs in software. For finding bugs that can cause security vulnerabilities, bug checking tools requir...
193
Voted
SCAM
2008
IEEE
16 years 1 months ago
2008
IEEE
—More and more current software systems rely on non trivial coordination logic for combining autonomous services typically running on different platforms and often owned by diffe...
177
Voted
SCAM
2008
IEEE
16 years 1 months ago
2008
IEEE
Decompiling low-level code to a high-level intermediate representation facilitates the development of analyzers, model checkers, etc. which reason about properties of the low-leve...
169
Voted
SEAA
2008
IEEE
16 years 1 months ago
2008
IEEE
With the growing popularity of Web services, an increasing number of Web services have been integrated into and used by complex service oriented systems. As a result, the manageme...
177
click to vote
SECON
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract—In this paper, we propose and evaluate two distributed protocols for finding low-cost broadcast and multicast trees in wireless networks. The constructed trees can then...