688 search results - page 115 / 138 » Computational Methods for Verification of Stochastic Hybrid ... |
ICICIC
2006
IEEE
14 years 1 months ago
2006
IEEE
Nowadays the AFIS (Automatic fingerprint Identification system) plays more and more important roles in various applications such as access control, ATM card verification and crimi...
ACMSE
2006
ACM
14 years 1 months ago
2006
ACM
In this paper we consider the problem of automatically generating test suites associated with web-based enterprise systems. In particular, we discuss the construction of a tool de...
APSCC
2008
IEEE
13 years 9 months ago
2008
IEEE
Monitors have been used for real-time systems to ensure proper behavior; however, most approaches do not allow for the addition of relevant fields required to identify and react t...
HPCC
2007
Springer
14 years 1 months ago
2007
Springer
Many optimization techniques have been adopted for efficient job scheduling in grid computing, such as: genetic algorithms, simulated annealing and stochastic methods. Such techni...
DAC
2005
ACM
14 years 8 months ago
2005
ACM
Signal processing and multimedia applications are often implemented on resource constrained embedded systems. It is therefore important to find implementations that use as little ...