Sciweavers

2830 search results - page 202 / 566
» A Development Tool for E-learning Applications
Sort
View
HVC
2005
Springer
97views Hardware» more  HVC 2005»
15 years 4 months ago
An Extensible Open-Source Compiler Infrastructure for Testing
Testing forms a critical part of the development process for large-scale software, and there is growing need for automated tools that can read, represent, analyze, and transform th...
Daniel J. Quinlan, Shmuel Ur, Richard W. Vuduc
IJVR
2006
113views more  IJVR 2006»
14 years 11 months ago
The Virtual Human Platform: Simplifying the Use of Virtual Characters
In this paper, we will explain our approach to create and animate virtual characters for real-time rendering applications in an easy and intuitive way. Furthermore we show a way ho...
Christian Knöpfle, Yvonne Jung
FLAIRS
2009
14 years 9 months ago
Verification of Distributed Knowledge in Semantic Knowledge Wikis
Recently, the development of distributed knowledge systems has become more attractive due to the existence of new social semantic applications such as semantic knowledge wikis. Us...
Joachim Baumeister, Grzegorz J. Nalepa
PLDI
2003
ACM
15 years 4 months ago
A practical flow-sensitive and context-sensitive C and C++ memory leak detector
This paper presents a static analysis tool that can automatically find memory leaks and deletions of dangling pointers in large C and C++ applications. We have developed a type s...
David L. Heine, Monica S. Lam
ISOLA
2004
Springer
15 years 4 months ago
EZPetri: A Petri net interchange framework for Eclipse based on PNML
Petri net community has suffered with the lack of a standard format to represent Petri net models. This situation led to an undesirable tool incompatibility. In order to solve thi...
Gabriel Alves, Adilson Arcoverde, Ricardo Massa Fe...