9006 search results - page 1408 / 1802 » Modeling Software |
117
click to vote
DRM
2007
Springer
15 years 11 months ago
2007
Springer
We introduce a data structure for program execution under a limited oblivious execution model. For fully oblivious execution along the lines of Goldreich and Ostrovsky [2], one tr...
157
click to vote
EMSOFT
2007
Springer
15 years 11 months ago
2007
Springer
We provide an algebraic formalisation of connectors in BIP. These are used to structure interactions in a component-based system. A connector relates a set of typed ports. Types a...
111
click to vote
ISSTA
2006
ACM
15 years 11 months ago
2006
ACM
A noise maker is a tool that seeds a concurrent program with conditional synchronization primitives (such as yield()) for the purpose of increasing the likelihood that a bug manif...
174
click to vote
SAC
2006
ACM
15 years 11 months ago
2006
ACM
The Coalition Peering Domain (CPD) is a recent innovation within the field of mesh networking. It facilitates the management of community-area networks in a distributed and scala...
146
click to vote
UIST
2006
ACM
15 years 11 months ago
2006
ACM
We describe a system, implemented as a browser extension, that enables users to quickly and easily collect, view, and share personal Web content. Our system employs a novel intera...