15253 search results - page 2502 / 3051 » Integer-Programming Software Systems |
177
Voted
IJDE
2007
15 years 6 months ago
2007
Inconsistencies in various data structures, such as missing log records and modified operating system files, have long been used by intrusion investigators and forensic analysts a...
167
click to vote
SIGMETRICS
2008
ACM
15 years 6 months ago
2008
ACM
Significant opportunities for power optimization exist at application design stage and are not yet fully exploited by system and application designers. We describe the challenges ...
162
click to vote
SYNTHESE
2008
15 years 6 months ago
2008
The Interpolation Theorem, first formulated and proved by W. Craig fifty years ago for predicate logic, has been extended to many other logical frameworks and is being applied in s...
158
click to vote
IWC
2007
15 years 6 months ago
2007
This paper presents an investigation of the self-serving biases of interface agent users. An experiment that involved 202 MS Office users demonstrated that, in contrast to the sel...
159
click to vote
JIPS
2007
15 years 6 months ago
2007
: This paper describes the development of the sensor interface and driver program for a point of care (POC) device. The proposed POC device comprises an ARM9 embedded processor and...