3938 search results - page 45 / 788 » Interactive Protocols on the Reals |
ARTS
1999
Springer
14 years 3 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...
OFAI
1997
Springer
14 years 3 months ago
1997
Springer
ADS
2004
Springer
14 years 2 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...
ECOOP
1995
Springer
14 years 2 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...
EUROPAR
2008
Springer
14 years 23 days ago
2008
Springer