1922 search results - page 289 / 385 » Systems biology, models, and concurrency |
120
Voted
BMCBI
2008
15 years 1 months ago
2008
spectives. A total of 149 abstracts were accepted and presented in the poster session and 31 of them were selected for oral presentation. At the opening of the meeting, Roderic Gui...
109
click to vote
CCGRID
2006
IEEE
15 years 5 months ago
2006
IEEE
Our current research into programming models for parallel web services composition is targeted at providing mechanisms for obtaining higher throughput for large scale compute and ...
122
click to vote
APN
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. Coloured Petri nets (CP-nets or CPNs) is a widely used formalism for describing concurrent systems. CPN Tools provides a mature environment for constructing, simulating, ...
NRHM
1998
15 years 25 days ago
1998
: Due to the tremendously increasing popularity of the World-Wide Web, hypermedia is going to be the leading online information medium for some years to come and will most likely b...
247
click to vote
SPIN
2012
Springer
13 years 3 months ago
2012
Springer
Since counterexamples generated by model checking tools are only symptoms of faults in the model, a significant amount of manual work is required in order to locate the fault that...