769 search results - page 108 / 154 » Simple Composition of Nets |
BMCBI
2008
13 years 7 months ago
2008
Background: The identification and study of proteins from metagenomic datasets can shed light on the roles and interactions of the source organisms in their communities. However, ...
ICCAD
2004
IEEE
14 years 4 months ago
2004
IEEE
Closed formed expressions for buffered interconnect delay approximation have been around for some time. However, previous approaches assume that buffers are free to be placed anyw...
LICS
2009
IEEE
14 years 2 months ago
2009
IEEE
The reachability problem for Vector Addition Systems (VASs) is a central problem of net theory. The general problem is known decidable by algorithms exclusively based on the class...
ICC
2007
IEEE
14 years 2 months ago
2007
IEEE
—Enterprises are faced with the challenge of enabling IP multicast applications without exposing their network to multicast denial-of-service attacks. Current practice is to use ...
INFOCOM
2007
IEEE
14 years 1 months ago
2007
IEEE
— In this paper we investigate the potential benefits of coordinated congestion control for multipath data transfers, and contrast with uncoordinated control. For static random ...