79 search results - page 15 / 16 » High Level Petri Nets Analysis with Helena |
GLOBECOM
2010
IEEE
13 years 3 months ago
2010
IEEE
: We propose and analyze a class of trust management protocols for encounter-based routing in delay tolerant networks (DTNs). The underlying idea is to incorporate trust evaluation...
BMCBI
2010
13 years 5 months ago
2010
Background: DNA microarrays provide an efficient method for measuring activity of genes in parallel and even covering all the known transcripts of an organism on a single array. T...
GECCO
2010
Springer
13 years 10 months ago
2010
Springer
Niching schemes, which sustain population diversity and let an evolutionary population avoid premature convergence, have been extensively studied in the research field of evoluti...
LREC
2010
13 years 6 months ago
2010
We present a semi-supervised machine-learning approach for the classification of adjectives into property- vs. relationdenoting adjectives, a distinction that is highly relevant f...
CASES
2006
ACM
13 years 11 months ago
2006
ACM
The continuing miniaturization of technology coupled with wireless networks has made it feasible to physically embed sensor network systems into the environment. Sensor net proces...