368 search results - page 9 / 74 » Synthesis of Non-Interferent Timed Systems |
ICEIS
2006
IEEE
14 years 1 months ago
2006
IEEE
HYBRID
1999
Springer
13 years 11 months ago
1999
Springer
In this work we tackle the following problem: given a timed automaton, and a target set F of configurations, restrict its transition relation in a systematic way so that from ever...
IWSAS
2000
Springer
13 years 11 months ago
2000
Springer
Abstract. Self-adaptive systems must recon gure themselves, at runtime, to compensate for changing environments, objectives, and system capabilities. This paper discusses how the S...
HYBRID
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. The problem of synthesizing feedback controllers that perform sensing and actuation actions on non–uniform and uncertain discrete time domains is considered. This class...
SBCCI
2004
ACM
14 years 29 days ago
2004
ACM
Software synthesis is defined as the task of translating a specification into a software program, in a general purpose language, in such a way that this software can be compiled...