524 search results - page 21 / 105 » ProbFAST: Probabilistic Functional Analysis System Tool |
IWPC
2006
IEEE
14 years 4 months ago
2006
IEEE
Software system analysis for extracting system functionality remains as a major problem in the reverse engineering literature and the early approaches mainly rely on static proper...
FMCAD
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. Probabilistic techniques for verification of finite-state transition systems offer huge memory savings over deterministic techniques. The two leading probabilistic scheme...
BMCBI
2006
13 years 10 months ago
2006
Background: Anatomical studies of neural circuitry describing the basic wiring diagram of the brain produce intrinsically spatial, highly complex data of great value to the neuros...
MCSS
2007
Springer
13 years 10 months ago
2007
Springer
The classical Matrosov theorem concludes uniform asymptotic stability of time varying systems via a weak Lyapunov function (positive definite, decrescent, with negative semidefi...
ENTCS
2007
13 years 10 months ago
2007
In this paper we present an analysis of a MAC (Medium Access Control) protocol for wireless sensor networks. The purpose of this protocol is to manage wireless media access by con...