279 search results - page 9 / 56 » Testing for Refinement in CSP |
138
Voted
ENTCS
2008
15 years 2 months ago
2008
Automatic generation of formal specifications from requirement reduces cost and complexity of formal models creation. Thus, the generated formal model brings the possibility to ca...
123
click to vote
ENTCS
2006
15 years 2 months ago
2006
This paper presents VyrdMC, a runtime verification tool we are building for concurrent software components. The correctness criterion checked by VyrdMC is refinement: Each executi...
124
click to vote
IJFCS
2006
15 years 2 months ago
2006
This paper studies conflicts from a process-algebraic point of view and shows how they are related to the testing theory of fair testing. Conflicts have been introduced in the con...
108
Voted
BMCBI
2007
15 years 2 months ago
2007
Background: Accurate prediction of intra-protein residue contacts from sequence information will allow the prediction of protein structures. Basic predictions of such specific con...
148
Voted
CEC
2010
IEEE
15 years 1 months ago
2010
IEEE
— Due to developing mobile devices and providing services like mobile blogs, people can easily share their thought and experience, at any place and any time. A picture is an impo...