10406 search results - page 206 / 2082 » Using RDF to Model the Structure and Process of Systems |
119
Voted
ECBS
1999
IEEE
15 years 8 months ago
1999
IEEE
Model interpreters play an essential role in modelintegrated systems: they transform domain-specific models into executable models. The state-ot-the-art of model interpreter writi...
135
click to vote
ICASSP
2008
IEEE
15 years 10 months ago
2008
IEEE
We propose an algorithm for estimating the common secondary structure, alignment, and posterior base pairing probabilities for two RNA sequences. A definition of structural align...
122
Voted
ASPDAC
2007
ACM
15 years 7 months ago
2007
ACM
In this paper, we present an approach for control-flow aware communication and conflict analysis of systems of parallel communicating processes. This approach allows to determine ...
147
Voted
UTP
2010
15 years 1 months ago
2010
Abstract. The Unifying Theories of Programming underpins the development of Circus, a state-rich process algebra for refinement. We have previously presented a theory of testing fo...
155
Voted
CODES
2008
IEEE
15 years 5 months ago
2008
IEEE
SystemC is widely used for modeling and simulation in hardware/software co-design. Due to the lack of a complete formal semantics, it is not possible to verify SystemC designs. In...