4609 search results - page 151 / 922 » Automatic Generation of Sigma-Protocols |
217
click to vote
ESORICS
2011
Springer
14 years 6 months ago
2011
Springer
Many web pages display personal information provided by users. The goal of this work is to protect that content from untrusted scripts that are embedded in host pages. We present a...
198
click to vote
SPIN
2012
Springer
13 years 8 months ago
2012
Springer
We report on the application of SPIN for model-checking C source code which is generated out of a textual domain-specific language (DSL). We have built a tool which automatically ...
173
click to vote
IFIP
2010
Springer
15 years 1 months ago
2010
Springer
Abstract In this paper, we describe an automatic synthesis procedure that distributes synchronous programs on a set of desynchronized processing elements. Our distribution procedur...
164
click to vote
PRDC
2007
IEEE
16 years 20 days ago
2007
IEEE
Model-based development is state of the art in software engineering, due to its potential regarding automatic code synthesis. Nevertheless for embedded systems, where there exists...
163
click to vote
COMPSAC
2005
IEEE
16 years 20 hour ago
2005
IEEE
Automatic test data generation leads to the identification of input values on which a selected path or a selected branch is executed within a program (path-oriented vs goalorient...