781 search results - page 99 / 157 » Automatic Formal Model Generation and Analysis of SDL |
ICSE
2000
IEEE-ACM
15 years 3 months ago
2000
IEEE-ACM
: Producing More Reliable Software: Mature Software Engineering Process vs. State-of-the-Art Technology? A customer of high assurance software recently sponsored a software enginee...
103
click to vote
JCSS
2008
14 years 11 months ago
2008
Internet worms are classically described using SIR models and simulations, to capture the massive dynamics of the system. Here we are able to generate a differential equation-base...
101
click to vote
CAIP
1995
Springer
15 years 3 months ago
1995
Springer
The Point Distribution Model (PDM) has already proved useful for many tasks involving the location or tracking of deformable objects. A principal limitation lies in the fact that n...
KDD
2007
ACM
16 years 6 days ago
2007
ACM
Modeling the evolution of topics with time is of great value in automatic summarization and analysis of large document collections. In this work, we propose a new probabilistic gr...
106
click to vote
CASES
2007
ACM
15 years 3 months ago
2007
ACM
Embedded systems are often used in safety-critical environments. Thus, thorough testing of them is mandatory. A quite active research area is the automatic test-case generation fo...