4356 search results - page 605 / 872 » Communicating Transactions - (Extended Abstract) |
175
click to vote
ITP
2010
15 years 10 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...
221
click to vote
DASFAA
2009
IEEE
15 years 10 months ago
2009
IEEE
Abstract. In this tutorial we provide an insight into Web Mining, i.e., discovering knowledge from the World Wide Web, especially with reference to the latest developments in Web t...
197
click to vote
ICALT
2009
IEEE
15 years 10 months ago
2009
IEEE
Although Virtual Learning Environments have become popular educational tools, they remain a very active research topic. Two important aspects being discussed for next-generation V...
160
click to vote
ANTSW
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. We present a modified version of the Particle swarm Optimization algorithm in which we adjust the virtual swarm search by incorporating inter-agent dynamics native to mul...
189
click to vote
ANTSW
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. They appeared in our life some years ago with the awakening of the PC and now the are everywhere : computers have become ubiquitous and, almost, irreplaceable. Classical ...