nt programs, programming abstractions for data parallel programs, software model checking for confidentiality, electronic voting security, synthesis of interface specons for Java ...
The purpose of the chapter is to help someone familiar with DLs to understand the issues involved in developing an ontology for some universe of discourse, which is to become a co...
Interaction for desktop games is mostly limited to keyboard and mouse input. We are investigating the benefits of adding body-based interaction to complement keyboard and mouse in...
Volunteer Computing is becoming a new paradigm not only for the Computational Grid, but also for institutions using production-level Data Grids because of the enormous storage pot...
Jesus Luna, Michail Flouris, Manolis Marazakis, An...
"Spatial structures and spatial reasoning are essential to perception and cognition. Much
day-to-day practical information is about what happens at certain spatial locations....