264 search results - page 28 / 53 » Petri Net Based Model Validation in Systems Biology |
127
click to vote
ICAS
2006
IEEE
15 years 5 months ago
2006
IEEE
Abstract—This paper describes and evaluates a biologically-inspired network architecture that allows grid services to autonomously adapt to dynamic environment changes in the net...
110
click to vote
SPIN
2009
Springer
15 years 6 months ago
2009
Springer
: Most intrusion detection systems deployed today apply misuse detection as analysis method. Misuse detection searches for attack traces in the recorded audit data using predefined...
104
click to vote
SMC
2007
IEEE
15 years 6 months ago
2007
IEEE
: With the development of enterprise-wide and cross-enterprise application integration and interoperation towards web service, web service providers try to not only fulfill the fun...
122
click to vote
RTSS
2005
IEEE
15 years 5 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 ...
111
click to vote
FM
2009
Springer
15 years 6 months 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 ...