4270 search results - page 789 / 854 » Implementation of interactive poster |
PPDP
2007
Springer
14 years 3 months ago
2007
Springer
The problem of mechanically formalizing and proving metatheoretic properties of programming language calculi, type systems, operational semantics, and related formal systems has r...
ACSC
2006
IEEE
14 years 3 months ago
2006
IEEE
Malware — a generic term that encompasses viruses, trojans, spywares and other intrusive code — is widespread today. Malware analysis is a multi-step process providing insight...
ACSC
2006
IEEE
14 years 3 months ago
2006
IEEE
Modern computer networks contain an amalgamation of devices and technologies, with the performance exhibited by each central to digital communications. Varieties of methods exist ...
CCECE
2006
IEEE
14 years 3 months ago
2006
IEEE
Presenting information to an e-learning environment is a challenge, mostly, because ofthe hypertextlhypermedia nature and the richness ofthe context and information provides. This...
HAPTICS
2006
IEEE
14 years 3 months ago
2006
IEEE
Using optical tweezers (OT) and a haptic device, microspheres having diameters ranging from 3 to 4 m (floating in a fluid solution) are manipulated in order to form patterns ...