8499 search results - page 1368 / 1700 » networking 2007 |
171
click to vote
DATE
2007
IEEE
16 years 1 months ago
2007
IEEE
This paper focuses on inductive invariants in unbounded model checking to improve efficiency and scalability. First of all, it introduces optimized techniques to speedup the comp...
174
click to vote
DEXAW
2007
IEEE
16 years 1 months ago
2007
IEEE
As wireless network infrastructure becomes more reliable, an increasing number of traditional desktop applications, beyond common web browsing, migrate to portable devices. Since ...
149
click to vote
DSD
2007
IEEE
16 years 1 months ago
2007
IEEE
During synthesis of circuits for Boolean functions area, delay and testability are optimization goals that often contradict each other. Multi-level circuits are often quite small ...
169
click to vote
FGCN
2007
IEEE
16 years 1 months ago
2007
IEEE
When the digital forensic investigator looks into the suspicious organization including the company, it is important to obtain the data which has the overview of information of th...
145
Voted
FGCN
2007
IEEE
16 years 1 months ago
2007
IEEE
In this paper, we propose an algorithm, which allocates the bandwidth in an effective manner for sensitive applications. The main idea of this work is to allocate more amount of b...