9532 search results - page 1834 / 1907 » Logic, Graphs, and Algorithms |
100
click to vote
TACAS
2004
Springer
15 years 4 months ago
2004
Springer
Abstract. We describe a scalable incomplete boundedness test for the communication buffers in UML RT models. UML RT is a variant of the UML modeling language, tailored to describin...
CSB
2003
IEEE
15 years 4 months ago
2003
IEEE
Reverse-engineering of gene networks using linear models often results in an underdetermined system because of excessive unknown parameters. In addition, the practical utility of ...
P2P
2003
IEEE
15 years 4 months ago
2003
IEEE
In this paper, we take an availability-centric view on quality of service (QoS) and propose a model and mechanisms for studying the effectiveness of realistic replication schemes ...
108
click to vote
DIALM
2003
ACM
15 years 4 months ago
2003
ACM
We study topology control problems in ad hoc networks, where network nodes get to choose their power levels in order to ensure desired connectivity properties. Unlike most other w...
DIALM
2003
ACM
15 years 4 months ago
2003
ACM
We consider the problem of maximizing the lifetime of a given multicast connection in a wireless network of energyconstrained (e.g. battery-operated) nodes, by choosing ideal tran...