5863 search results - page 897 / 1173 » On Model-Checking of P Systems |
165
click to vote
GLOBECOM
2008
IEEE
16 years 1 months ago
2008
IEEE
—Relay systems have large and complex parameter spaces, which makes it difficult to determine the parameter region where the system achieves a given performance criterion, such ...
171
click to vote
ICARCV
2008
IEEE
16 years 1 months ago
2008
IEEE
— We consider a discrete-time dynamical system with Boolean and continuous states, with the continuous state propagating linearly in the continuous and Boolean state variables, a...
149
click to vote
CBMS
2007
IEEE
16 years 1 months ago
2007
IEEE
The development of Medical Image Analysis (MIA) applications that can successfully be applied in clinical practice is difficult for several reasons, one of them being the large am...
185
click to vote
IPPS
2007
IEEE
16 years 28 days ago
2007
IEEE
A Reconfigurable Consistency Algorithm (RCA) is an algorithm that guarantees the consistency in Distributed Shared Memory (DSM) Systems. In a RCA, there is a Configuration Control...
192
click to vote
LCN
2007
IEEE
16 years 28 days ago
2007
IEEE
The current Internet architecture allows malicious nodes to disguise their origin during denial-of-service attacks with IP spoofing. A well-known solution to identify these nodes...