1855 search results - page 169 / 371 » System Consequence |
128
click to vote
OSDI
2000
ACM
15 years 5 months ago
2000
ACM
Pocket computers are beginning to emerge that provide sufficient processing capability and memory capacity to run traditional desktop applications and operating systems on them. T...
118
Voted
APAL
2010
15 years 4 months ago
2010
A logic-enriched type theory (LTT) is a type theory extended with a primitive mechanism for forming and proving propositions. We construct two LTTs, named LTT0 and LTT 0, which we...
132
Voted
GRID
2008
Springer
15 years 4 months ago
2008
Springer
Traditional resource management techniques (resource allocation, admission control and scheduling) have been found to be inadequate for many shared Grid and distributed systems th...
114
Voted
KER
2008
15 years 4 months ago
2008
We study the case of integrating situational reasoning into a mobile service recommendation system. Since mobile Internet services are rapidly proliferating, finding and using appr...
158
click to vote
IVC
2007
15 years 4 months ago
2007
ct 7 An increasingly frequent application of Machine Vision technologies is in automated surface inspection for the detection of defects in 8 manufactured products. Such systems oï...