10 search results - page 1 / 2 » pts 2008 |
BMCBI
2008
13 years 10 months ago
2008
Background: The import of most intraperoxisomal proteins is mediated by peroxisome targeting signals at their C-termini (PTS1) or N-terminal regions (PTS2). Both signals have been...
PTS
2008
13 years 11 months ago
2008
We present in this paper a framework, RMOR, for monitoring the execution of C programs against state machines, expressed in a textual (nongraphical) format in files separate from t...
PTS
2008
13 years 11 months ago
2008
Firewalls are a cornerstone of todays security infrastructure for networks. Their configuration, implementing a firewall policy, is inherently complex, hard to understand, and diff...
PTS
2008
13 years 11 months ago
2008
The problem of generating checking sequences for FSMs with distinguishing sequence has been attracting interest of researchers for several decades. In this paper, a solution is pro...
PTS
2008
13 years 11 months ago
2008
Verification of a modular system composed of communicating components is a difficult problem, especially when the models of the components are not available. Conventional testing t...