Sciweavers

2339 search results - page 127 / 468
» Models and Tools for Mulan Applications
Sort
View
RTCSA
2006
IEEE
16 years 23 days ago
An RTOS API Translator for Model-Driven Embedded Software Development
In this paper, we present a model-driven approach to RTOS-based embedded software development and an automated tool that can produce RTOS-specific code. Our contributions are two ...
Ji Chan Maeng, Jong-Hyuk Kim, Minsoo Ryu
180
Voted
DSRT
2008
IEEE
16 years 1 months ago
Design of Application-Specific Incentives in P2P Networks
A rational P2P node may decide not to provide a particular resource or to provide it with degraded quality. If nodes are very likely to behave this way, or if the failure of an P2...
Andrew Roczniak, Abdulmotaleb El-Saddik, Ross Kouh...
ICALT
2008
IEEE
16 years 1 months ago
Learning Application Suite Creating and Playing SCORM Compatible Web and Computer Based Training
In the process of developing Web Based Training (WBT) applications, the Sharable Content Object Reference Model (SCORM) has become the most common eLearning standard making it pos...
Marco Nordmann, Jens Neumann
CG
2005
Springer
15 years 6 months ago
Enhancing collaboration in virtual reality applications
We derive a complete component framework for transforming standalone VR applications into full-fledged multithreaded Collaborative Virtual Reality Environments (CVREs), after char...
Víctor Theoktisto, Marta Fairén Gonz...
FLAIRS
2006
15 years 8 months ago
Formal Verification of Cognitive Models
Cognitive modeling has outgrown the toy problems of the research labs and is increasingly tackling Industrial size applications. This growth is not matched in terms of software to...
A. MacKlem, Fatma Mili