4099 search results - page 58 / 820 » A Framework for Interactive Proof |
RTA
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. In this paper we introduce a modular framework which allows to infer (feasible) upper bounds on the (derivational) complexity of term rewrite systems by combining differ...
CSL
2005
Springer
15 years 3 months ago
2005
Springer
Recent work establishes a direct link between the complexity of a linear logic proof in terms of the exchange rule and the topological complexity of its corresponding proof net, ex...
KBSE
1999
IEEE
15 years 2 months ago
1999
IEEE
Deductive retrieval and deductive synthesis are two conceptually closely related software development methods which apply theorem proving techniques to support the construction of...
IDMS
2000
Springer
15 years 1 months ago
2000
Springer
Abstract. This paper presents a framework for monitoring component interactions. It is part of a larger component framework built on top of the CORBA distributed processing environ...
GI
2009
Springer
15 years 2 months ago
2009
Springer
: The support of smart interaction in ubiquitous computing is among the core criteria to achieve user acceptance and thus business success. We describe an architectural framework u...