6300 search results - page 194 / 1260 » We have it easy, but do we have it right |
110
click to vote
ITP
2010
15 years 5 months ago
2010
Abstract. This paper presents a new HOL4 formalization of the current ARM instruction set architecture, ARMv7. This is a modern RISC architecture with many advanced features. The f...
137
click to vote
APWEB
2008
Springer
15 years 3 months ago
2008
Springer
Information exchanges in P2P networks have become very popular in recent years. However, tracing how data circulates between peers and how data modifications are performed during t...
120
click to vote
WICSA
2008
15 years 3 months ago
2008
During the last years, Intelligent Virtual Environments for Training have become a quite popular application of computer science to education. However, little attention is being p...
102
click to vote
CSREAEEE
2006
15 years 3 months ago
2006
Task information support on the Web is not always an easy and straightforward process. Much of the information is inaccurate, biased, out-of-date, or just not thorough enough. The...
USITS
2001
15 years 2 months ago
2001
Puppeteer is a system for adapting component-based applications in mobile environments. Puppeteer takes advantage of the exported interfaces of these applications and the structur...