9842 search results - page 688 / 1969 » Compositional timing analysis |
210
click to vote
AVBPA
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. Human gait is an attractive modality for recognizing people at a distance. In this paper we adopt an appearance-basedapproach to the problem of gait recognition. The widt...
216
click to vote
WSC
2007
15 years 9 months ago
2007
Cyber security methods are continually being developed. To test these methods many organizations utilize both virtual and physical networks which can be costly and time consuming....
201
click to vote
WSC
2008
15 years 9 months ago
2008
This paper investigates the effects of demand risk on the performance of supply chain in continuous time setting. The inventory level has been modeled as a jump-diffusion process ...
197
click to vote
FMCO
2008
Springer
15 years 9 months ago
2008
Springer
In this paper, we present a framework for formal modeling and verification of service-based business processes with focus on their compliance to external regulations such as Segreg...
162
click to vote
APVIS
2007
15 years 9 months ago
2007
Email has become an integral method of communication. However, it is still plagued by vast amounts of spam. Many statistical techniques, such as Bayesian filtering, have been app...