4962 search results - page 667 / 993 » Stochastic Model Checking |
130
Voted
CSDA
2006
15 years 2 months ago
2006
The mixmod (mixture modeling) program fits mixture models to a given data set for the purposes of density estimation, clustering or discriminant analysis. A large variety of algor...
207
Voted
TODAES
2008
15 years 2 months ago
2008
The goal of dynamic power management is to reduce power dissipation in system level by putting system components into different states. This paper proposes a wavelet based approac...
121
Voted
PERCOM
2010
ACM
15 years 1 months ago
2010
ACM
—Recent years have witnessed the deployments of wireless sensor networks for mission-critical applications such as battlefield monitoring and security surveillance. These applic...
131
Voted
CADE
2007
Springer
16 years 2 months ago
2007
Springer
Abstract. It has often been claimed that model checking, special purpose automated deduction or interactive theorem proving are needed for formal program development. Recently, it ...
108
Voted
ICSE
2007
IEEE-ACM
16 years 2 months ago
2007
IEEE-ACM
The paper presents a novel approach based on Bogor for the accurate verification of applications based on PublishSubscribe infrastructures. Previous efforts adopted standard model...