Sciweavers

4190 search results - page 765 / 838
» Implementing commitment-based interactions
Sort
View
73
Voted
EUROSYS
2009
ACM
15 years 7 months ago
Privacy-preserving browser-side scripting with BFlow
Some web sites provide interactive extensions using browser scripts, often without inspecting the scripts to verify that they are benign and bug-free. Others handle users’ conļ¬...
Alexander Yip, Neha Narula, Maxwell N. Krohn, Robe...
EUROSYS
2006
ACM
15 years 7 months ago
Solving the starting problem: device drivers as self-describing artifacts
Run-time conflicts can affect even the most rigorously tested software systems. A reliance on execution-based testing makes it prohibitively costly to test every possible interac...
Michael F. Spear, Tom Roeder, Orion Hodson, Galen ...
EUROGRAPHICS
2010
Eurographics
15 years 7 months ago
Two-Colored Pixels
In this paper we show how to use two-colored pixels as a generic tool for image processing. We apply twocolored pixels as a basic operator as well as a supporting data structure f...
Darko Pavic and Leif Kobbelt
TACAS
2010
Springer
145views Algorithms» more  TACAS 2010»
15 years 5 months ago
Rational Synthesis
Abstract. Synthesis is the automated construction of a system from its specification. The system has to satisfy its specification in all possible environments. Modern systems oft...
Dana Fisman, Orna Kupferman, Yoad Lustig
HICSS
2010
IEEE
225views Biometrics» more  HICSS 2010»
15 years 5 months ago
A Comparative Analysis of Professional Forums in the United States Army and Hybrid Communities of Practice in the Civilian Secto
Communities of practice (COPs) have been around since the founding of the first social networks many millennia ago. Organizations around the world over the last two decades have l...
Jon Brickey, Steven Walczak