Learn More
The usability and satisfaction results of vocational training students are presented in the current paper, obtained from the deliveries of a mobile commerce course which uses SCC methodology (Scenario Centered Curriculum). The results are framed inside the project Learning 4 work, which is aimed at developing strategies in the vocational training framework(More)
Formal sequentialization is introduced as a rewriting process for the reduction of parallelism and internal communication statements of distributed imperative programs. It constructs an equivalence proof in an implicit way, via the application of equivalence laws as rewrite rules, thus generating a chain of equivalent programs. The variety of the possible(More)
Cloud based storage systems are known to provide high scalability and reliability overcoming the traditional constraints of static distributed systems. The processing capacity over thousands of machines makes this approach especially suitable for many environments. In particular, we focus on power networks. These systems are currently decentralizing their(More)
Nowadays, the curricular needs of the students from Vocational Training have to adapt to all kinds of content in order to improve their future professional integration. In this sense, the technology knowledge is essential in any work environment. However, the introduction of these curricular features in certain non-technological academic areas may not be(More)