4890 search results - page 566 / 978 » From system specifications to component behavioral models |
204
click to vote
BMCBI
2010
15 years 7 months ago
2010
Background: The importance of stochasticity in cellular processes having low number of molecules has resulted in the development of stochastic models such as chemical master equat...
184
click to vote
BMCBI
2004
15 years 6 months ago
2004
Background: Modern biological research makes possible the comprehensive study and development of heritable mutations in the mouse model at high-throughput. Using techniques spanni...
172
click to vote
ECSCW
1993
15 years 8 months ago
1993
: Most cooperation support systems require information about the organisational context in which they are used. This is particularly required when systems are used in a large organ...
189
click to vote
WWW
2010
ACM
15 years 7 months ago
2010
ACM
Popularity of content in social media is unequally distributed, with some items receiving a disproportionate share of attention from users. Predicting which newly-submitted items ...
183
click to vote
TACAS
2004
Springer
16 years 6 days ago
2004
Springer
Abstract In the event that a system does not satisfy a specification, a model checker will typically automatically produce a counterexample trace that shows a particular instance ...