5180 search results - page 304 / 1036 » Concurrency, Time, and Constraints |
160
click to vote
BMCBI
2007
15 years 6 months ago
2007
Background: False occurrences of functional motifs in protein sequences can be considered as random events due solely to the sequence composition of a proteome. Here we use a nume...
176
click to vote
LOGCOM
1998
15 years 6 months ago
1998
The Situation Calculus is a logic of time and change in which there is a distinguished initial situation ¡£¢ and all other situations arise from the different sequences of acti...
159
click to vote
INFOCOM
2010
IEEE
15 years 5 months ago
2010
IEEE
Abstract— Robustness and reliability are critical issues in network management. To provide resiliency, a popular protection scheme against network failures is the simultaneous ro...
234
click to vote
TMC
2012
13 years 9 months ago
2012
Abstract—We consider the problem of relay-assisted transmission for cellular networks. In the considered system, a source node together with n relay nodes are selected in a propo...
164
click to vote
ICCAD
2005
IEEE
16 years 3 months ago
2005
IEEE
A novel and very simple correct-by-construction top-down methodology for high-utilization mixed-size placement is presented. The PolarBear algorithm combines recursive cutsize-dri...