282 search results - page 18 / 57 » A Process Algebra Model of the Immune System |
ENTCS
2007
14 years 11 months ago
2007
There is a growing interest in models of reversible computation driven by exciting application areas such as bio-systems and quantum computing. Reversible process algebras RCCS [2...
GLOBECOM
2009
IEEE
15 years 3 months ago
2009
IEEE
A challenging research issue of analyzing networks where packets are served probabilistically, such as multi-access networks and wireless networks, is to characterize the stochasti...
115
click to vote
NGITS
1999
Springer
15 years 4 months ago
1999
Springer
As the requirements for system analysis and design become more complex, the need for a natural, yet formal way of specifying system analysis findings and design decisions are becom...
102
click to vote
ENTCS
2007
14 years 11 months ago
2007
In the context of process algebras it is customary to define semantics in the form of a reaction relation supported by a structural congruence relation. Recently process algebras...
ECBS
2003
IEEE
15 years 5 months ago
2003
IEEE
We present an algebraic framework for evidence exploration: the process of interpreting, manipulating, and navigating the proof structure or evidence produced by a model checker w...