1345 search results - page 190 / 269 » A Class of Logarithmic Integrals |
EDOC
2007
IEEE
15 years 4 months ago
2007
IEEE
In aspect-oriented modeling (AOM), a design is described using a set of design views. It is sometimes necessary to compose the views to obtain an integrated view that can be analy...
78
Voted
GLOBECOM
2007
IEEE
15 years 4 months ago
2007
IEEE
—We examine a widely accepted myth about passive listening in wireless networks, and give a detailed description of how to achieve real “passive listening.” Then we develop a...
ICSM
2007
IEEE
15 years 4 months ago
2007
IEEE
Regression testing, which plays an important role in software maintenance, usually relies on test adequacy criteria to select and prioritize test cases. However, with the wide use...
NOCS
2007
IEEE
15 years 4 months ago
2007
IEEE
Recent remarkable advances in nanoscale siliconphotonic integrated circuitry specifically compatible with CMOS fabrication have generated new opportunities for leveraging the uni...
TASE
2007
IEEE
15 years 4 months ago
2007
IEEE
Symmetry reduction is a technique that can help alleviate the problem of state space explosion in model checking. The idea is to verify only a subset of states from each class (or...