157 search results - page 5 / 32 » Presenting Proofs with Adapted Granularity |
ARTS
1999
Springer
13 years 11 months ago
1999
Springer
This paper discusses the adaptation of the PVS theorem prover for performing analysis of real-time systems written in the ASTRAL formal specification language. A number of issues w...
ICMCS
2005
IEEE
14 years 1 months ago
2005
IEEE
MPEG-4 FGS (Fine Granularity Scalability) has received tremendous attentions because it has ability to adapt to the network bandwidth variation. In this paper, we present a novel ...
ICSE
2009
IEEE-ACM
13 years 5 months ago
2009
IEEE-ACM
Modern software systems should be more and more designed with adaptation and run-time evolution in mind. But even with good reactions to changes, the triggered adaptation should b...
IAT
2003
IEEE
14 years 23 days ago
2003
IEEE
This paper describes the methodology of an intelligent agent for building a self-adaptive course on the Web. An important task, therefore, is to combine adaptability with the lear...
CORR
2010
Springer
13 years 4 months ago
2010
Springer
Basic proof search tactics in logic and type theory can be seen as the root-rst applications of rules in an appropriate sequent calculus, preferably without the redundancies gener...