7557 search results - page 616 / 1512 » Modeling Timed Concurrent Systems |
202
click to vote
CDC
2010
IEEE
15 years 2 months ago
2010
IEEE
It is shown that the queuing delay involved in the congestion control algorithm is state-dependent and does not depend on the current time. Then, using an accurate formulation for ...
175
click to vote
ECAL
2007
Springer
16 years 1 months ago
2007
Springer
This paper1 introduces a simple model for evolutionary dynamics approaching the “coding threshold”, where the capacity to symbolically represent nucleic acid sequences emerges ...
189
click to vote
EICS
2010
ACM
15 years 9 months ago
2010
ACM
We propose an approach that takes as input a task model, which includes the user's view of the interactive system, and automatically discovers a set of categorized and ranked...
152
click to vote
NETWORK
2006
15 years 7 months ago
2006
Wireless Sensor Networks (WSNs) are expected to be deployed for long periods of time, and the nodes are likely to need software updates during their lifetime, both for bug fixes a...
159
click to vote
SIGMETRICS
2010
ACM
15 years 12 months ago
2010
ACM
In this paper, we present a comprehensive analysis of real smartphone usage during a 6-month study of real user activity on the Android G1 smartphone. Our goal is to study the hig...