Sciweavers

Share
10 search results - page 1 / 2
» pts 2008
Sort
View
BMCBI
2008
85views more  BMCBI 2008»
8 years 2 months ago
Predicted mouse peroxisome-targeted proteins and their actual subcellular locations
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...
Yumi Mizuno, Igor Kurochkin, Marlis Herberth, Yasu...
PTS
2008
109views Hardware» more  PTS 2008»
8 years 3 months ago
Runtime Verification of C Programs
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...
Klaus Havelund
PTS
2008
123views Hardware» more  PTS 2008»
8 years 3 months ago
Model-Based Firewall Conformance Testing
Firewalls are a cornerstone of todays security infrastructure for networks. Their configuration, implementing a firewall policy, is inherently complex, hard to understand, and diff...
Achim D. Brucker, Lukas Brügger, Burkhart Wol...
PTS
2008
80views Hardware» more  PTS 2008»
8 years 3 months ago
Generating Checking Sequences for Partial Reduced Finite State Machines
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...
Adenilso da Silva Simão, Alexandre Petrenko
PTS
2008
98views Hardware» more  PTS 2008»
8 years 3 months ago
Modular System Verification by Inference, Testing and Reachability Analysis
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...
Roland Groz, Keqin Li 0002, Alexandre Petrenko, Mu...
books