1284 search results - page 209 / 257 » On Helping and Interactive Proof Systems |
VRCAI
2009
ACM
14 years 3 months ago
2009
ACM
Nowadays, several techniques exist to render digital content such as graphics, audio, haptic, etc. Unfortunately, they require different faculties that cannot always be applied, e...
NDSS
2006
IEEE
14 years 2 months ago
2006
IEEE
When dealing with malware infections, one of the first tasks is to find the processes that were involved in the attack. We introduce Malfor, a system that isolates those process...
WIKIS
2005
ACM
14 years 2 months ago
2005
ACM
Wikis are simple to use, asynchronous, Web-based collaborative hypertext authoring systems which are quickly gaining in popularity. In spite of much anecdotal evidence to the effe...
PET
2005
Springer
14 years 2 months ago
2005
Springer
A basic radio-frequency identification (RFID) tag is a small and inexpensive microchip that emits a static identifier in response to a query from a nearby reader. Basic tags of t...
ICSE
2003
IEEE-ACM
14 years 2 months ago
2003
IEEE-ACM
Modeling software components from multiple perspectives provides complementary views of a software system and enables sophisticated analyses of its functionality. A software compon...