882 search results - page 74 / 177 » Allowing State Changes in Specifications |
171
click to vote
ENTCS
2011
14 years 9 months ago
2011
In this paper the machinery of Hybrid Logic and the logic of public announcements are merged. In order to bring the two logics together properly the underlying hybrid logic has be...
227
click to vote
LATA
2011
Springer
14 years 9 months ago
2011
Springer
Abstract. Building on the celebrated Krohn-Rhodes Theorem we characterize classes of regular languages in terms of the cascade decompositions of minimal DFA of languages in those c...
188
click to vote
UML
2005
Springer
15 years 11 months ago
2005
Springer
We present in this paper a rigorous and automated based approach for the behavioral validation of control software systems. This approach relies on metamodeling, model-transformati...
143
click to vote
HPCA
2007
IEEE
16 years 6 months ago
2007
IEEE
This paper proposes a hardware transactional memory (HTM) system called LogTM Signature Edition (LogTM-SE). LogTM-SE uses signatures to summarize a transaction's readand writ...
221
click to vote
BMCBI
2004
15 years 6 months ago
2004
Background: Once specific genes are identified through high throughput genomics technologies there is a need to sort the final gene list to a manageable size for validation studie...