9931 search results - page 1872 / 1987 » Generative Modeling by PRISM |
114
Voted
CEE
2007
15 years 3 months ago
2007
Real-time systems are often designed using preemptive scheduling and worst-case execution time estimates to guarantee the execution of high priority tasks. There is, however, an i...
146
Voted
IANDC
2006
15 years 3 months ago
2006
We give a coalgebraic formulation of timed processes and their operational semantics. We model time by a monoid called a "time domain", and we model processes by "t...
138
Voted
CN
2007
15 years 3 months ago
2007
There is strong evidence that the current implementation of TCP will perform poorly in future high speed networks. To address this problem many congestion control protocols have b...
119
Voted
CN
2007
15 years 3 months ago
2007
Intrusion detection systems (IDS) often provide poor quality alerts, which are insufficient to support rapid identification of ongoing attacks or predict an intruder’s next lik...
125
Voted
IJSNET
2006
15 years 3 months ago
2006
This paper explores in-network aggregation as a power-efficient mechanism for collecting data in wireless sensor networks. In particular, we focus on sensor network scenarios wher...