12774 search results - page 397 / 2555 » A Framework for Proof Systems |
205
Voted
WWW
2006
ACM
16 years 8 months ago
2006
ACM
Fully automated trading, such as e-procurement, using the Internet is virtually unheard of today. Three core technologies are needed to fully automate the trading process: data mi...
189
click to vote
HPCA
2002
IEEE
16 years 8 months ago
2002
IEEE
This work is based on our philosophy of providing interlayer system-level power awareness in computing systems [26, 27]. Here, we couple this approach with our vision of multipart...
202
Voted
ICIAP
2009
ACM
16 years 2 months ago
2009
ACM
Multi-modality is a fundamental feature that characterizes biological systems and lets them achieve high robustness in understanding skills while coping with uncertainty. Relativel...
192
click to vote
HICSS
2008
IEEE
16 years 2 months ago
2008
IEEE
After a decade of innovations and advancement in Internet technologies (roughly from early 1990s to early 2000s), the first generation of Web-based
192
click to vote
MATA
2005
Springer
16 years 1 months ago
2005
Springer
Abstract. Mobile agent systems provide new perspectives for distributed e-commerce applications. These applications may present specific restrictions, making mobile agent systems ...