10802 search results - page 367 / 2161 » Generative and developmental systems |
132
click to vote
CLADE
2004
IEEE
15 years 8 months ago
2004
IEEE
All but the most briefly used systems must evolve as their mission and roles change over time. Evolution in the context of large distributed systems is extraordinarily complex bec...
147
click to vote
FATES
2003
Springer
15 years 10 months ago
2003
Springer
Use of model-checking approaches for test generation from requirement models have been proposed by several researchers. These approaches leverage the witness (or counter-example) ...
169
click to vote
TASE
2007
IEEE
15 years 11 months ago
2007
IEEE
Safety is an important property of high-assurance software, and one of the hot research topics on it is the verification method for software to meet its safety policies. In our p...
152
click to vote
RTS
2010
15 years 3 months ago
2010
The current practice to design software for real-time systems is tedious. There is almost no tool support that assists the designer in automatically deriving safe bounds of the wor...
157
click to vote
IV
2010
IEEE
15 years 2 months ago
2010
IEEE
The first step of any information visualization system is to enable end user to import their dataset into the system. However, non expert user are faced to the difficult task of ch...