5664 search results - page 396 / 1133 » Creativity support tools |
162
click to vote
KBSE
1998
IEEE
15 years 11 months ago
1998
IEEE
Most current object modeling methods and tools have weaknesses both in the concepts of hierarchical decomposition and in the visualization of these hierarchies. Some methods do no...
178
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...
154
click to vote
HPCC
2007
Springer
15 years 10 months ago
2007
Springer
Efficient exploitation of the aggregate resources available to a researcher is a challenging and real problem. The challenge becomes all the greater when researchers who collaborat...
180
click to vote
APSEC
2004
IEEE
15 years 10 months ago
2004
IEEE
Testing concurrent software is difficult due to problems with inherent non-determinism. In previous work, we have presented a method and tool support for the testing of concurrent...
173
click to vote
ICALT
2009
IEEE
15 years 10 months ago
2009
IEEE
New Technologies have been incorporated to schools as learning tools some time ago. In this paper we remark some advantages of video games as educational systems and how we can us...