7865 search results - page 460 / 1573 » Large correlation analysis |
178
click to vote
CADE
2009
Springer
16 years 7 months ago
2009
Springer
Abstract. An approach based on term rewriting techniques for the automated termination analysis of imperative programs operating on integers is presented. An imperative program is ...
171
Voted
ICSE
2007
IEEE-ACM
16 years 6 months ago
2007
IEEE-ACM
Software engineers frequently struggle with understanding the relationships between the source code of a system and its requirements or high-level features. These relationships ar...
179
click to vote
INFOCOM
2008
IEEE
16 years 1 months ago
2008
IEEE
—Cognitive radio presents a new approach to wireless spectrum utilization and management. In this work, the potential performance improvement gained by applying cognitive radio t...
168
click to vote
KBSE
2008
IEEE
16 years 1 months ago
2008
IEEE
The Design Exploration (DE) approach allows a large number of probable end users to communicate with software developers by creating mockups of user interfaces and augmenting the ...
181
click to vote
SECURWARE
2008
IEEE
16 years 1 months ago
2008
IEEE
— Epidemiology, the science that studies the cause and propagation of diseases, provides us with the concepts and methods to analyze the potential risk factors to which ADSL cust...