2637 search results - page 188 / 528 » Tool Supported Specification and Simulation of Distributed S... |
188
click to vote
BMCBI
2008
15 years 5 months ago
2008
Background: Biomedical and chemical databases are large and rapidly growing in size. Graphs naturally model such kinds of data. To fully exploit the wealth of information in these...
166
click to vote
BMCBI
2008
15 years 5 months ago
2008
Background: MicroRNAs (miRNAs) are a set of small non-coding RNAs serving as important negative gene regulators. In animals, miRNAs turn down protein translation by binding to the...
151
click to vote
MEMOCODE
2010
IEEE
15 years 2 months ago
2010
IEEE
Monitoring temporal SystemC properties is crucial for the validation of functional and transaction-level models, yet the current SystemC standard provides no support for temporal s...
138
click to vote
MEDES
2009
ACM
15 years 11 months ago
2009
ACM
Although research in data integration has become one of the main issues in [6], geographic data integration is still a laborious and complicated problem, even for specialists. Geo...
164
Voted
UML
1998
Springer
15 years 9 months ago
1998
Springer
The use of scenarios has become a popular technique for requirements elicitation and specification building. Since scenarios capture only partial descriptions of system behavior, ...