4498 search results - page 495 / 900 » How to Invent Functions |
189
click to vote
PERCOM
2010
ACM
15 years 10 months ago
2010
ACM
—Efficient discovery of nearby devices and services is one of the preconditions to obtain a usable pervasive environment. Typical user interfaces in these environments hide the ...
177
click to vote
FDL
2007
IEEE
15 years 10 months ago
2007
IEEE
Functional validation of microprocessors is growing in complexity in current and future microprocessors. The informal specification document from which the various collaterals are ...
167
click to vote
HOTOS
2007
IEEE
15 years 10 months ago
2007
IEEE
In the paper we examine one of the issues in designing, specifying, implementing and formally verifying a small operating system kernel -- how to provide a productive and iterativ...
188
click to vote
ICANN
2007
Springer
15 years 10 months ago
2007
Springer
In todays bioinformatics, Mass spectrometry (MS) is the key technique for the identification of proteins. A prediction of spectrum peak intensities from pre computed molecular feat...
176
click to vote
HICSS
2009
IEEE
2009
IEEE
An Information Systems Design Product Theory for Software Project Estimation and Measurement Systems
15 years 10 months ago
: There is relatively little research on software Project Estimation and Measurement Systems (PEMS). Commercial PEMS vary in functionality and effectiveness. Their intended users t...