17185 search results - page 202 / 3437 » Computational and Quantitative Studies |
212
click to vote
BMCBI
2010
15 years 7 months ago
2010
Background: Biological networks offer us a new way to investigate the interactions among different components and address the biological system as a whole. In this paper, a revers...
211
click to vote
JCB
2006
15 years 7 months ago
2006
Biological systems are traditionally studied by focusing on a specific subsystem, building an intuitive model for it, and refining the model using results from carefully designed ...
233
click to vote
COMCOM
2004
15 years 7 months ago
2004
Bandwidth-delay product (BDP) and its upper bound (BDP-UB) have been well-understood in wireline networks such as the Internet. However, they have not been carefully studied in th...
238
click to vote
TACAS
2007
Springer
16 years 1 months ago
2007
Springer
We study and provide efficient algorithms for multi-objective model checking problems for Markov Decision Processes (MDPs). Given an MDP, M, and given multiple linear-time (ω-regu...
210
click to vote
BROADNETS
2006
IEEE
16 years 1 months ago
2006
IEEE
— Medium access control (MAC) protocols have been studied under different contexts for several years now. In all these MAC protocols, nodes make independent decisions on when to ...