4345 search results - page 336 / 869 » Temporal Constraint Networks |
171
click to vote
FAC
2008
15 years 6 months ago
2008
We extend the approach of model checking parameterized networks of processes by means of network invariants to the setting of real-time systems. We introduce timed transition stru...
191
click to vote
ICWN
2009
15 years 4 months ago
2009
Abstract-- The reliable delivery of services in service oriented architectures often entails the underlying basis of having well structured system and communication network models....
173
click to vote
MSR
2010
ACM
15 years 12 months ago
2010
ACM
—Social network methods are frequently used to analyze networks derived from Open Source Project communication and collaboration data. Such studies typically discover patterns in...
157
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
In this paper, we consider single-source, single-sink (ss-ss) multi-hop relay networks, with slow-fading Rayleigh links and single-antenna relay nodes operating under the half-dupl...
189
click to vote
BMCBI
2010
15 years 4 months ago
2010
Background: High complexity is considered a hallmark of living systems. Here we investigate the complexity of temporal gene expression patterns using the concept of Permutation En...