Sciweavers

6300 search results - page 194 / 1260
» We have it easy, but do we have it right
Sort
View
ITP
2010
155views Mathematics» more  ITP 2010»
15 years 5 months ago
A Trustworthy Monadic Formalization of the ARMv7 Instruction Set Architecture
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...
Anthony C. J. Fox, Magnus O. Myreen
APWEB
2008
Springer
15 years 3 months ago
Traceable P2P Record Exchange Based on Database Technologies
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...
Fengrong Li, Yoshiharu Ishikawa
WICSA
2008
15 years 3 months ago
A Modifiable Agent-Based Software Architecture for Intelligent Virtual Environments for Training
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...
Gonzalo Méndez, Angélica de Antonio
CSREAEEE
2006
112views Business» more  CSREAEEE 2006»
15 years 3 months ago
A Development Tool for E-learning Applications
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...
Darina Dicheva, Christo Dichev, Mohammed Ketel
USITS
2001
15 years 2 months ago
Puppeteer: Component-based Adaptation for Mobile Computing
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...
Eyal de Lara, Dan S. Wallach, Willy Zwaenepoel