186 search results - page 7 / 38 » The x-Wait-Freedom Progress Condition |
PTS
2010
14 years 9 months ago
2010
In this paper, we explore the set of testable properties within the Safety-Progress classification where testability means to establish by testing that a relation, between the tes...
ENTCS
2008
14 years 11 months ago
2008
The satisfiability problem is the fundamental problem in proving the conflict-freeness of specifications, or in finding a counterexample for an invalid statement. In this paper, w...
BMCBI
2010
14 years 11 months ago
2010
Background: Nuclear magnetic resonance spectroscopy is one of the primary tools in metabolomics analyses, where it is used to track and quantify changes in metabolite concentratio...
HRI
2007
ACM
15 years 3 months ago
2007
ACM
When a robot provides direction--as a guide, an assistant, or as an instructor--the robot may have to interact with people of different backgrounds and skill sets. Different peopl...
TACAS
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. Recent studies have demonstrated the possibility to build genetic regulatory networks that confer a desired behavior to a living organism. However, the design of these ne...