stract entity pointing forward, but by a "web" allowing for different strands to go their own way while weaved together to create a coherent pattern, and this is how the ...
We present a general framework for the analysis of quantitative and qualitative properties of reactive systems, based on a notion of weighted transition systems. We introduce and ...
—We propose a unicasting algorithm for faulty hypercubes (including disconnected hypercubes) using the safety level concept. A faulty hypercube is a hypercube with faulty nodes a...
Social software, such as blogs, wikis, tagging systems and collaborative filters, treats the group as a first-class object within the system. Drawing from theories of transactiona...
Mobile learning technologies have the potential to revolutionize distance education by bringing the concept of anytime and anywhere to reality. However, the development of mobile ...