1026 search results - page 156 / 206 » A Methodology for Equational Reasoning |
ISQED
2008
IEEE
14 years 3 months ago
2008
IEEE
—Power and energy consumption has emerged as the premier and most constraining aspect in modern computational systems. Dynamic Voltage Scheduling (DVS) has been provably one of t...
ADHOCNOW
2008
Springer
14 years 3 months ago
2008
Springer
Ad hoc networks are exposed more than traditional networks to security threats due to their mobility and open architecture aspects. In addition, any dysfunction due to badly con gu...
AVSS
2007
IEEE
14 years 3 months ago
2007
IEEE
This paper presents a new methodology for improving the tracking of multiple targets in complex scenes. The new method, Motion Parameter Sharing, incorporates social motion inform...
CCGRID
2007
IEEE
14 years 3 months ago
2007
IEEE
In the past, efficient parallel algorithms have always been developed specifically for the successive generations of parallel systems (vector machines, shared-memory machines, d...
IPCCC
2007
IEEE
14 years 3 months ago
2007
IEEE
The success of any spyware is determined by its ability to evade detection. Although traditional detection methodologies employing signature and anomaly based systems have had rea...