4460 search results - page 86 / 892 » Formal methods for interactive systems |
CDC
2010
IEEE
14 years 5 months ago
2010
IEEE
Abstract-- We propose a formal method for feedback controller synthesis using interactive computer programs with graphical interface (in short, computer games). The main theoretica...
ECOWS
2009
Springer
15 years 4 months ago
2009
Springer
—This paper aims to present a method of creating architectures which allow monitoring occurrence of failure in Service oriented Architectures (SoA). The presented approach extend...
ICTAI
1996
IEEE
15 years 2 months ago
1996
IEEE
In this paper we propose a general approach for reasoning in space. The approach is composed of a set of two general constraints to govern the spatial relationships between object...
HICSS
2009
IEEE
15 years 4 months ago
2009
IEEE
The use of formal methods has long been advocated in the development of secure systems. Yet, methods for deriving design from requirements that guarantee retention of the intended...
ATAL
2004
Springer
15 years 3 months ago
2004
Springer
The ‘engineering’ and ‘adaptive’ approaches to system production are distinguished. It is argued that producing reliable self-organised software systems (SOSS) will necessa...