Sciweavers

627 search results - page 49 / 126
» Branched Polyhedral Systems
Sort
View
JALC
2006
95views more  JALC 2006»
13 years 8 months ago
On the Decidability of Model-Checking for P Systems
Membrane computing is a branch of molecular computing that aims to develop models and paradigms that are biologically motivated. It identifies an unconventional computing model, n...
Zhe Dang, Oscar H. Ibarra, Cheng Li, Gaoyan Xie
CORR
2010
Springer
101views Education» more  CORR 2010»
13 years 8 months ago
Computing the Least Fixed Point of Positive Polynomial Systems
We consider equation systems of the form X1 = f1(X1, . . . , Xn), . . . , Xn = fn(X1, . . . , Xn) where f1, . . . , fn are polynomials with positive real coefficients. In vector fo...
Javier Esparza, Stefan Kiefer, Michael Luttenberge...
JLP
2010
105views more  JLP 2010»
13 years 3 months ago
Quantitative analysis of weighted transition systems
We present a general framework for the analysis of quantitative and qualitative properties of reactive systems, based on a notion of weighted transition systems. We introduce and ...
Claus R. Thrane, Uli Fahrenberg, Kim G. Larsen
ICARIS
2004
Springer
14 years 2 months ago
Immunity Through Swarms: Agent-Based Simulations of the Human Immune System
Abstract. We present a swarm-based, 3-dimensional model of the human immune system and its response to first and second viral antigen exposure. Our model utilizes a decentralized ...
Christian Jacob, Julius Litorco, Leo Lee
ACSAC
1999
IEEE
14 years 1 months ago
Security Architecture Development and Results for a Distributed Modeling and Simulation System
This paper reports on an ongoing effort to define the security architecture for the Joint Simulation System (JSIMS), a joint military modeling and simulation system. It also descr...
Richard B. Neely