73 search results - page 14 / 15 » Strengthening properties using abstraction refinement |
TCC
2007
Springer
14 years 5 months ago
2007
Springer
Abstract. We present a public-key encryption scheme with the following properties. Given a branching program P and an encryption c of an input x, it is possible to efficiently com...
FUIN
2008
13 years 11 months ago
2008
Abstract. Many formalisms use interleaving to model concurrency. To describe some system behaviours appropriately, we need to limit interleaving. For example, in a component-based ...
VC
2008
13 years 10 months ago
2008
Abstract We propose a particle-based technique for simulating incompressible fluid that includes adaptive refinement of particle sampling. Each particle represents a mass of fluid ...
IEEEVAST
2010
13 years 5 months ago
2010
The process of learning models from raw data typically requires a substantial amount of user input during the model initialization phase. We present an assistive visualization sys...
ICWS
2009
IEEE
13 years 8 months ago
2009
IEEE
Workflow models have been used and refined for years to execute processes within organisations. To deal with collaborative processes (choreographies) these internal workflow model...