3938 search results - page 45 / 788 » Interactive Protocols on the Reals |
186
click to vote
ARTS
1999
Springer
15 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...
157
click to vote
ADS
2004
Springer
15 years 10 months ago
2004
Springer
The monitoring of emotional user states can help to assess the progress of human-machine-communication. If we look at specific databases, however, we are faced with several problem...
183
click to vote
ECOOP
1995
Springer
15 years 10 months ago
1995
Springer
Abstract. This paper presents a framework of specification and verification for distributed real-time object-oriented systems. An earlier paper [17] introduced a process calculus...