The need for providing learners with web-based learning content that match their accessibility needs and preferences, as well as providing ways to match learning content to userâ€...
Harvesting energy from ambient vibration is proposed as an alternative to storage based power supplies for autonomous systems. The system presented converts the mechanical energy ...
In textual knowledge management, statistical methods prevail. Nonetheless, some difï¬culties cannot be overcome by these methodologies. I propose a symbolic approach using a comp...
Phishing is an increasingly sophisticated method to steal personal user information using sites that pretend to be legitimate. In this paper, we take the following steps to identif...
We consider the problem of computing numerical invariants of programs by abstract interpretation. Our method eschews two traditional sources of imprecision: (i) the use of widenin...