13977 search results - page 273 / 2796 » Evolution in complex systems |
154
click to vote
CDC
2009
IEEE
15 years 10 months ago
2009
IEEE
In this paper, we analyze the verification of K-step opacity in discrete event systems that are modeled as (possibly non-deterministic) finite automata with partial observation on ...
177
click to vote
CC
2008
Springer
15 years 6 months ago
2008
Springer
We use derandomization to show that sequences of positive pspace-dimension
174
click to vote
ICSM
2006
IEEE
16 years 21 days ago
2006
IEEE
The association between the description of a concern (e.g., a feature) and the code that implements it is valuable information that can degrade as the code of a system evolves. We...
146
click to vote
SRDS
2000
IEEE
15 years 11 months ago
2000
IEEE
: As Century 21 just opened up, it is a fitting time to reflect on the evolution of the fault-tolerant distributed computing technology that occurred in the last century. The autho...