2136 search results - page 215 / 428 » Learning Behavior Models for Hybrid Timed Systems |
138
Voted
IADIS
2004
15 years 5 months ago
2004
With rapid development of the Internet, e-learning system has become more and more popular. Currently, to solve the issue of sharing and reusing of teaching materials in different...
138
Voted
SIGMETRICS
2003
ACM
15 years 9 months ago
2003
ACM
Since web workloads are known to vary dynamically with time, in this paper, we argue that dynamic resource allocation techniques are necessary to provide guarantees to web applicat...
147
Voted
IJCSA
2006
15 years 3 months ago
2006
The Dynamic Host Configuration Protocol (DHCP) is a widely used communication protocol. In this paper, a portion of the protocol is chosen for modeling and verification, namely th...
143
Voted
CODES
2003
IEEE
15 years 9 months ago
2003
IEEE
Hardware/Software cosimulation is the key process to shorten the design turn around time. We have proposed a novel technique, called virtual synchronization, for fast and time acc...
131
Voted
SIGMETRICS
2010
ACM
15 years 2 months ago
2010
ACM
We introduce and analyze a deterministic fluid model that serves as an approximation for the Gt/GI/st + GI manyserver queueing model, which has a general time-varying arrival pro...