488 search results - page 10 / 98 » Compositional Verification of Probabilistic Systems Using Le... |
TSMC
2008
14 years 11 months ago
2008
Stochastic hybrid system (SHS) models can be used to analyze and design complex embedded systems that operate in the presence of uncertainty and variability. Verification of reacha...
SEW
2006
IEEE
15 years 5 months ago
2006
IEEE
Complex software systems typically involve features like time, concurrency and probability, where probabilistic computations play an increasing role. It is challenging to formaliz...
103
click to vote
BPM
2000
Springer
15 years 2 months ago
2000
Springer
Workflow management systems facilitate the everyday operation of business processes by taking care of the logistic control of work. In contrast to traditional information systems, ...
102
click to vote
SIBGRAPI
2000
IEEE
15 years 3 months ago
2000
IEEE
This work has as main objective to present an off-line signature verification system. It is basically divided into three parts. The first one demonstrates a pre-processing process,...
107
click to vote
QEST
2010
IEEE
14 years 8 months ago
2010
IEEE
Adaptive techniques like voltage and frequency scaling, process variations and the randomness of input data contribute signi cantly to the statistical aspect of contemporary hardwa...