138 search results - page 10 / 28 » Damage control |
TDSC
2010
13 years 2 months ago
2010
As wireless hotspot business becomes a tremendous financial success, users of these networks have increasing motives to misbehave in order to obtain more bandwidth at the expense o...
GLOBECOM
2006
IEEE
14 years 1 months ago
2006
IEEE
— Due to the real time nature and buddy list presence information of Instant Messaging (IM) systems worms can spread over IM networks rapidly, causing severe damages, however, it...
SEUS
2007
IEEE
14 years 1 months ago
2007
IEEE
The hardware infrastructure that provides the support of ubiquitous embedded computing may be shared by different applications. Many of those applications have real-time requireme...
FLAIRS
2004
13 years 8 months ago
2004
The issue of fire propagation in cities is of obvious importance to Civil Authorities, but does present issues of computational complexity. Our basic assumption is that some event...
FROCOS
2009
Springer
14 years 2 months ago
2009
Springer
In an attempt to improve automation capabilities in the Coq proof assistant, we develop a tactic for the propositional fragment based on the DPLL procedure. Although formulas natur...