210 search results - page 8 / 42 » Temporal Networks with Alternatives: Complexity and Model |
LMCS
2007
13 years 10 months ago
2007
Higher-Order Fixpoint Logic (HFL) is a hybrid of the simply typed λ-calculus and the modal µ-calculus. This makes it a highly expressive temporal logic that is capable of express...
DSN
2011
IEEE
12 years 10 months ago
2011
IEEE
—In this paper we extend the class of MAP queueing networks to include blocking models, which are useful to describe the performance of service instances which have a limited con...
GCB
2009
Springer
13 years 8 months ago
2009
Springer
Abstract: A comparative interaction detection paradigm is proposed to study the complex gene regulatory networks that control cell proliferation during development. Instead of atte...
ICC
2007
IEEE
14 years 5 months ago
2007
IEEE
— As for today, radio spectrum resource is rigidly partitioned for dedicated purposes. The exclusive license of fixed size spectrum blocks separated by guard bands easily solves...
SIGCOMM
2009
ACM
14 years 5 months ago
2009
ACM
The analysis of social and technological networks has attracted a lot of attention as social networking applications and mobile sensing devices have given us a wealth of real data...