933 search results - page 11 / 187 » A Fully Automatic hp-Adaptivity |
DATE
2003
IEEE
14 years 3 months ago
2003
IEEE
ECRTS
2002
IEEE
14 years 2 months ago
2002
IEEE
In today’s technical world (e.g., in the automotive industry), more and more purely mechanical components get replaced by electro-mechanical ones. Thus the size and complexity o...
CADE
2008
Springer
13 years 11 months ago
2008
Springer
Recent studies have provided many characterisations of the class of polynomial time computable functions through term rewriting techniques. In this paper we describe a (fully autom...
JAR
2008
13 years 9 months ago
2008
We introduce a specification language, Promela-Lite, which captures the essential features of Promela but which, unlike Promela, has a formally defined semantics. We show how we ca...
CORR
2008
Springer
13 years 9 months ago
2008
Springer
We present a new technique for verifying correspondences in security protocols. In particular, correspondences can be used to formalize authentication. Our technique is fully auto...