79 search results - page 14 / 16 » High Level Petri Nets Analysis with Helena |
BMCBI
2005
13 years 6 months ago
2005
Background: High throughput methods of the genome era produce vast amounts of data in the form of gene lists. These lists are large and difficult to interpret without advanced com...
FM
2009
Springer
14 years 24 days ago
2009
Springer
This position paper argues that the operational modelling approaches from the formal methods community can be applied fruitfully within the systems biology domain. The results can ...
RTSS
2005
IEEE
13 years 11 months ago
2005
IEEE
Recently there has been a growing interest in models and methods targeted towards the (co)design of stream processing applications; e.g. those for audio/video processing. Streams ...
WECWIS
1999
IEEE
13 years 10 months ago
1999
IEEE
Analysis of network and application pegormance is traditionally based on mathematical models derived from first principles. Such models are usually complex, diflcult to use, and d...
BMCBI
2008
13 years 6 months ago
2008
Background: High throughput microarray technologies have afforded the investigation of genomes, epigenomes, and transcriptomes at unprecedented resolution. However, software packa...