Sciweavers

102 search results - page 11 / 21
» jucs 2007
Sort
View
JUCS
2007
74views more  JUCS 2007»
14 years 9 months ago
A WebQuest Framework to Improve the Study of Deadlock and Process Synchronization
: The impact of the Internet on Society also affects learning at University. Students use not only printed books and their own notes, but also the information available on the Net...
Luis Panizo, Ramón-Ángel Ferná...
JUCS
2007
108views more  JUCS 2007»
14 years 9 months ago
Integrating Module Checking and Deduction in a Formal Proof for the Perlman Spanning Tree Protocol (STP)
: In the IEEE 802.1D standard for the Media Access Control layer (MAC layer) bridges, there is an STP (Spanning Tree Protocol) definition, based on the algorithm that was proposed...
Hossein Hojjat, Hootan Nakhost, Marjan Sirjani
JUCS
2007
86views more  JUCS 2007»
14 years 9 months ago
Improving LO Quality through Instructional Design Based on an Ontological Model and Metadata
: The activities developed in this paper were aimed at providing an awareness of the elements that should be considered in quality learning objects instructional design for elearni...
Erla Morales Morgado, Francisco José Garc&i...
JUCS
2007
139views more  JUCS 2007»
14 years 9 months ago
Collaborative Composition in a Foreign Language with Handheld Computing and Web Tools
: Writing applications are currently designed for desktop personal computers. Mobile devices like PDAs or smart phones are increasingly being used for mobile applications such as a...
Maximiliano Paredes, Pedro P. Sánchez-Villa...
JUCS
2007
108views more  JUCS 2007»
14 years 9 months ago
An OWL Ontology of Set of Experience Knowledge Structure
: Collecting, distributing and sharing knowledge in a knowledge-explicit way is a significant task for any company. However, collecting decisional knowledge in the form of formal d...
Cesar Sanín, Edward Szczerbicki, Carlos Tor...