4460 search results - page 4 / 892 » Formal methods for interactive systems |
IMPERIAL
1994
13 years 11 months ago
1994
SAS
1992
Springer
13 years 11 months ago
1992
Springer
IFM
1999
Springer
13 years 11 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
13 years 11 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
13 years 11 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...