Application specific processors offer the potential of rapidly designed logic specifically constructed to meet the performance and area demands of the task at hand. Recently, t...
This paper presents Lecomps5, a web-based system for automated course personalization in distance learning environments. This system is an upgraded version of the Lecomps4 system,...
Carla Limongelli, Filippo Sciarrone, Marco Temperi...
Creating long-lived software systems requires a technology to build systems with good maintainability. One of the core ideas of the Model Driven Architecture (MDA) is to ease the ...
This paper presents a formal approach based on Time Petri net (TPN) for the coherence control of SMIL documents. TPN model has been widely used to specify real time systems. The q...