1742 search results - page 56 / 349 » A Framework for Network Modeling in Prolog |
111
click to vote
FORMATS
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. We present a systematic translation from timed models of genetic regulatory networks into products of timed automata to which one can apply verification tools in order l...
168
click to vote
CORR
2011
Springer
14 years 10 months ago
2011
Springer
Abstract—The capacity of multiuser networks has been a longstanding problem in information theory. Recently, Avestimehr et al. have proposed a deterministic network model to appr...
108
click to vote
DSRT
2008
IEEE
15 years 10 months ago
2008
IEEE
We have previously proposed PTIDES (Programming Temporally Integrated Distributed Embedded Systems), a discrete-event framework that binds realtime with model time at sensors, act...
120
click to vote
IJCNN
2007
IEEE
15 years 10 months ago
2007
IEEE
— Recent brain imaging studies on primates revealed that a network of brain areas is activated both during observation and during execution of movements. The present work aims at...
110
click to vote
CORR
2008
Springer
15 years 3 months ago
2008
Springer
Information-driven networks include a large category of networking systems, where network nodes are aware of information delivered and thus can not only forward data packets but m...