نشرت في: April 2011
We present practical algorithms for computing exact least solutions of equation systems over the reals with addition, multiplication by positive cons...
نشرت في: July 2011
The language JavaGI extends Java 1.5 conservatively by a generalized interface mechanism. The generalization subsumes retroactive and type-conditiona...
A certificate is a mathematical object that can be used to establish that a piece of mobile code satisfies some security policy. In general, certific...
Compositional theories are crucial when designing large and complex systems from smaller components. In this work we propose such a theory for synchr...
نشرت في: November 2011
While model checking of pushdown systems is by now an established technique in software verification, temporal logics and automata traditionally used...
