131 search results - page 22 / 27 » Petri nets for modelling and analysing trophic networks |
108
click to vote
CSCWD
2001
Springer
15 years 3 months ago
2001
Springer
Workflow management techniques are aiming at supporting business process across organization boundaries. Current techniques are lacking of the formalism tools to model and analyze...
RE
2002
Springer
14 years 11 months ago
2002
Springer
Requirements analysis for an Intrusion Detection System (IDS) involves deriving requirements for the IDS from analysis of the intrusion domain. When the IDS is, as here, a collecti...
IANDC
2006
14 years 11 months ago
2006
Abstract Bigraphs are graphs whose nodes may be nested, representing locality, independently of the edges connecting them. They may be equipped with reaction rules, forming a bigra...
JIB
2007
14 years 11 months ago
2007
The informative value of biomolecular networks has shifted from being solely information resources for possible cellular partners (whether these embody proteins, (ribo)nucleic aci...
90
Voted
QEST
2007
IEEE
15 years 5 months ago
2007
IEEE
XML-based interchange formats for performance models provide a mechanism whereby performance model information may be transferred among modeling tools. For example, the PMIF allow...