4460 search results - page 4 / 892 » Formal methods for interactive systems |
IMPERIAL
1994
15 years 1 months ago
1994
76
Voted
SAS
1992
Springer
15 years 1 months ago
1992
Springer
IFM
1999
Springer
15 years 1 months ago
1999
Springer
Embedded real-time systems consist of a digital controller interacting with its physical environment. Developing such systems therefore involves specifying and reasoning about bot...
EKAW
1999
Springer
15 years 1 months ago
1999
Springer
Abstract. In this paper we study dynamic properties of knowledge-based systems. We argue the importance of such dynamic properties for the construction and analysis of knowledge-ba...
COMPOS
1997
Springer
15 years 1 months ago
1997
Springer
We introduce a mathematical model of components that can be used for the description of both hardware and software units forming distributed interactive systems. As part of a distr...