4890 search results - page 544 / 978 » From system specifications to component behavioral models |
190
Voted
BIB
2007
15 years 7 months ago
2007
Mathematical modelling is increasingly used to get insights into the functioning of complex biological networks. In this context, Petri nets (PNs) have recently emerged as a promi...
190
click to vote
POLICY
2005
Springer
16 years 23 days ago
2005
Springer
Policy refinement is meant to derive lower-level policies from higher-level ones so that these more specific policies are better suited for use in different execution environments...
217
click to vote
ICASSP
2011
IEEE
14 years 11 months ago
2011
IEEE
In this paper we deal with the problem of feature selection by introducing a new approach based on Gravitational Search Algorithm (GSA). The proposed algorithm combines the optimi...
229
Voted
ESCIENCE
2006
IEEE
15 years 11 months ago
2006
IEEE
Workflow is a key technology for eScience. It enables scientific tools to be composed and the resulting workflows to be managed. Workflow and most other computing tools typically ...
223
Voted
ENTCS
2006
15 years 7 months ago
2006
We demonstrate a novel simulation technique for analysing large stochastic process algebra models, applying this to a secure electronic voting system example. By approximating the...