16725 search results - page 2739 / 3345 » Engineering Software Correctness |
193
click to vote
AINA
2007
IEEE
16 years 1 months ago
2007
IEEE
Link analysis is a critical component of current Internet search engines' results ranking software, which determines the ordering of query results returned to the user. The o...
197
click to vote
HICSS
2007
IEEE
16 years 1 months ago
2007
IEEE
Software can be tested either manually or automatically. The two approaches are complementary: automated testing can perform a large number of tests in little time, whereas manual...
163
click to vote
ICCCN
2007
IEEE
16 years 1 months ago
2007
IEEE
—Signaling protocols for GMPLS networks have been standardized and implemented in switch controllers. Most switch vendors allow for signaling messages to be carried over inband s...
164
click to vote
ISCAS
2007
IEEE
16 years 1 months ago
2007
IEEE
—Accurate analog models of power system components are required in order to realize an analog computation engine for power systems. Analog computation is an area of continued int...
158
click to vote
WCRE
2007
IEEE
16 years 1 months ago
2007
IEEE
tection via Structural Abstraction William S. Evans Department of Computer Science University of British Columbia Vancouver, B.C. V6T 1Z4, CANADA Christopher W. Fraser Microsoft Re...