Search Sciweavers | Sciweavers

282 search results - page 4 / 57

» A Process Algebra Model of the Immune System

click to vote

CIS
2009
Springer

119views Applied Computing» more CIS 2009»

A Hierarchical Artificial Immune Model for Virus Detection

13 years 11 months ago

Download www.cil.pku.edu.cn

Abstract-- As viruses become more complex, existing antivirus methods are inefficient to detect various forms of viruses, especially new variants and unknown viruses. Inspired by i...

Wei Wang, Pengtao Zhang, Ying Tan, Xingui He

claim paper

Read More »

click to vote

ICECCS
2007
IEEE

125views Hardware» more ICECCS 2007»

Achieving Discrete Relative Timing with Untimed Process Algebra

13 years 11 months ago

Download www.win.tue.nl

For many systems, timing aspects are essential. Therefore, when modelling these systems, time should somehow be represented. In the past, many timed process algebras have been dev...

Anton Wijs

claim paper

Read More »

click to vote

TOPNOC
2008

119views Artificial Intelligence» more TOPNOC 2008»

TAPAs: A Tool for the Analysis of Process Algebras

13 years 7 months ago

Download rap.dsi.unifi.it

Process Algebras are formalisms for modelling concurrent systems that permit mathematical reasoning with respect to a set of desired properties. TAPAs is a tool that can be used to...

Francesco Calzolai, Rocco De Nicola, Michele Loret...

claim paper

Read More »

click to vote

DAGSTUHL
2004

123views Software Engineering» more DAGSTUHL 2004»

04241 Abstracts Collection - Graph Transformations and Process Algebras for Modeling Distributed and Mobile Systems

13 years 9 months ago

Download drops.dagstuhl.de

Barbara König, Ugo Montanari, Philippa Gardne...

claim paper

Read More »