2958 search results - page 502 / 592 » Extending and Implementing RASP |
CADE
1998
Springer
14 years 1 months ago
1998
Springer
Abstract. We present the first implementation of a theorem prover running on a smart card. The prover is written in Java and implements a dual tableau calculus. Due to the limited ...
TACAS
1998
Springer
14 years 1 months ago
1998
Springer
In this paper, we report on an application of the validation and veri cation tool kit Uppaal in the design and analysis of a prototype gear controller, carried out in a joint proje...
IWSSD
1993
IEEE
14 years 1 months ago
1993
IEEE
We are developing tools to support a conversational metaphor for requirements definition and analysis. Our conversational model consists of three components: (1) a hypertextual re...
AOSD
2007
ACM
14 years 27 days ago
2007
ACM
The layered architecture of middleware platforms (such as CORBA, SOAP, J2EE) is a mixed blessing. On the one hand, layers provide services such as demarshaling, session management...
AOSD
2007
ACM
14 years 27 days ago
2007
ACM
This paper proposes an approach called SCoPE, which supports user-defined analysis-based pointcuts in aspect-oriented programming (AOP) languages. The advantage of our approach is...