556 search results - page 20 / 112 » Checking Interval Properties of Computations |
123
click to vote
BIRTHDAY
2010
Springer
15 years 27 days ago
2010
Springer
In certain critical cases the data flow between business departments in banking organizations has to respect security policies known as Chinese Wall or Bell–La Padula. We show t...
COMPLEX
2009
Springer
15 years 8 months ago
2009
Springer
Financial fluctuations play a key role for financial markets studies. A new approach focusing on properties of return intervals can help to get better understanding of the fluct...
112
click to vote
IPL
2008
15 years 1 months ago
2008
In this article we analyze the combination of ACOhg, a new metaheuristic algorithm, plus partial order reduction applied to the problem of finding safety property violations in co...
131
click to vote
ISSE
2007
15 years 1 months ago
2007
Increasingly, computer software must adapt dynamically to changing conditions. The correctness of adaptation cannot be rigorously addressed without precisely specifying the require...
126
click to vote
ICCD
1995
IEEE
15 years 5 months ago
1995
IEEE
Symbolic model checking is a successful technique for checking properties of large finite-state systems. This method has been used to verify a number of real-world hardware desig...