Sciweavers

182 search results - page 12 / 37
» Using the Web Instead of a Window System
Sort
View
ASPLOS
2011
ACM
13 years 2 months ago
S2E: a platform for in-vivo multi-path analysis of software systems
This paper presents S2E, a platform for analyzing the properties and behavior of software systems. We demonstrate S2E’s use in developing practical tools for comprehensive perfo...
Vitaly Chipounov, Volodymyr Kuznetsov, George Cand...
WOA
2004
14 years 3 days ago
Design and development of a visual environment for writing DyLOG programs
Abstract-- In this article we present a visual development environment for writing DyLOG programs, explaining the motivations to this work and the main design choices. We will also...
Claudio Schifanella, Luca Lusso, Matteo Baldoni, C...
HOTDEP
2008
107views Hardware» more  HOTDEP 2008»
14 years 1 months ago
Reverse-Engineering Drivers for Safety and Portability
Device drivers today lack two important properties: guaranteed safety and cross-platform portability. We present an approach to incrementally achieving these properties in drivers...
Vitaly Chipounov, George Candea
SOUPS
2005
ACM
14 years 4 months ago
The battle against phishing: Dynamic Security Skins
Phishing is a model problem for illustrating usability concerns of privacy and security because both system designers and attackers battle using user interfaces to guide (or misgu...
Rachna Dhamija, J. Doug Tygar
FOMI
2008
14 years 5 days ago
Folksonomies meet ontologies in ARSMETEO: from social descriptions of artifacts to emotional concepts
This work focusses on bridging between folksonomies, which provide social but mainly flat and unstructured metadata on web resources, and semantic web ontologies, which instead des...
Matteo Baldoni, Cristina Baroglio, András H...