7340 search results - page 290 / 1468 » The Behavior of Tutoring Systems |
176
click to vote
WCW
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. We present a detailed workload characterization of a multi-tiered system that hosts an e-commerce site. Using the TPC-W workload and via experimental measurements, we ill...
163
click to vote
DATE
2000
IEEE
15 years 11 months ago
2000
IEEE
This paper presents the system synthesis techniques available in S3 E2 S, a CAD environment for the specification, simulation, and synthesis of embedded electronic systems that ca...
158
click to vote
AGENTS
2000
Springer
15 years 11 months ago
2000
Springer
This paper suggests formal frameworks that can be used as the basis for defining, reasoning about, and verifying properties of agent systems. The language, Little-JIL is graphical...
182
click to vote
DAC
1994
ACM
15 years 10 months ago
1994
ACM
Existing software scheduling techniques limit the functions that can be implemented in software to those with a restricted class of timing constraints, in particular those with a c...
173
click to vote
WCNC
2010
IEEE
15 years 10 months ago
2010
IEEE
—Experiments show that IEEE 802.11 DCF system exhibits unstable behavior in the congestion onset load range where the system starts to become saturated. This phenomenon is not we...