15644 search results - page 196 / 3129 » Brittle System Analysis |
197
click to vote
PTS
2008
15 years 8 months ago
2008
The state space explosion due to concurrency and timing constraints of concurrent real-time systems (CRTS) presents significant challenges to the verification engineers. In this pa...
220
click to vote
BMCBI
2006
15 years 6 months ago
2006
Integration of heterogeneous data types is a challenging problem, especially in biology, where the number of databases and data types increase rapidly. Amongst the problems that o...
167
click to vote
IJSN
2008
15 years 6 months ago
2008
: Firewalls have been designed as a major component to protect a network or a server from being attacked. However, due to their emphasis on packet filtering rather than verifying u...
164
click to vote
ICPR
2002
IEEE
16 years 7 months ago
2002
IEEE
Video editing is the work to produce the final videos with certain duration by finding and selecting appropriate shots from the material videos and connecting them. In order to pr...
170
click to vote
ECBS
2009
IEEE
16 years 1 months ago
2009
IEEE
Probabilistic models are useful for analyzing systems which operate under the presence of uncertainty. In this paper, we present a technique for verifying safety and liveness prop...