523 search results - page 95 / 105 » A General Model for Reachability Testing of Concurrent Progr... |
ICASSP
2008
IEEE
14 years 2 months ago
2008
IEEE
This paper presents an open contour tracking method that employs an arc-emission Hidden Markov Model (HMM). The algorithm encodes the shape information of the structure in a spati...
FAC
2008
13 years 8 months ago
2008
Abstract. In this paper we consider the relationship between refinement-oriented specification and specifications using a temporal logic. We investigate the extent to which one can...
TLDI
2009
ACM
14 years 5 months ago
2009
ACM
Storing state in the client tier (in forms or cookies, for example) improves the efficiency of a web application, but it also renders the secrecy and integrity of stored data vul...
DAC
2002
ACM
14 years 9 months ago
2002
ACM
One of the main goals of coverage tools is to provide the user with informative presentation of coverage information. Specifically, information on large, cohesive sets of uncovere...
WWW
2007
ACM
14 years 9 months ago
2007
ACM
We present a load generator and performance measurement tool (AutoPerf ) which requires minimal input and configuration from the user, and produces a comprehensive capacity analys...