12774 search results - page 218 / 2555 » A Framework for Proof Systems |
181
click to vote
SAC
2005
ACM
16 years 5 days ago
2005
ACM
The launch of new features for mobile phones is increasing and the product life cycle symmetrically decreasing in duration as higher levels of sophistication are reached. Therefor...
211
Voted
VLDB
2002
ACM
15 years 6 months ago
2002
ACM
Automated recommendation (e.g., personalized product recommendation on an ecommerce web site) is an increasingly valuable service associated with many databases--typically online ...
203
click to vote
NOMS
2010
IEEE
15 years 5 months ago
2010
IEEE
—One of the challenges of ambient systems lies in providing all the available services of the environment to the ambient devices, even if they do not physically host those servic...
153
click to vote
TASE
2008
IEEE
15 years 6 months ago
2008
IEEE
Maintaining an asset with life-limited parts, e.g., a jet engine or an electric generator, may be costly. Certain costs, e.g., setup cost, can be shared if some parts of the asset ...
181
click to vote
CSB
2005
IEEE
16 years 7 days ago
2005
IEEE
The genome projects have provided comprehensive information about the basic building blocks of life. The next challenge is to understand how biological functions emerge from compl...