41938 search results - page 136 / 8388 » Complex Systems Modeling |
147
Voted
ICLP
2001
Springer
15 years 9 months ago
2001
Springer
We formally characterize alternating fixed points of boolean equation systems as models of (propositional) normal logic programs. To this end, we introduce the notion of a preferr...
160
Voted
ICARIS
2004
Springer
15 years 10 months ago
2004
Springer
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 ...
135
Voted
TASE
2008
IEEE
15 years 11 months ago
2008
IEEE
We present a thorough study of Propositional Dynamic Logic over a variation of labeled transition systems, called accelerated labelled transition systems, which are transition sys...
199
click to vote
WOSP
1998
ACM
15 years 9 months ago
1998
ACM
The POEMS project is creating an environment for end-to-end performance modeling of complex parallel and distributed systems, spanning the domains of application software, runti...
127
click to vote
DSD
2006
IEEE
15 years 11 months ago
2006
IEEE
System Level Design (SLD) is widely seen as a solution for bridging the gap between chip complexity and design productivity of Systems on Chip (SoC). SLD relieves the designer fro...