12115 search results - page 266 / 2423 » Bisimulation of Dynamical Systems |
156
click to vote
HICSS
2003
IEEE
15 years 12 months ago
2003
IEEE
Electric power transmission systems are a key infrastructure and blackouts of these systems have major direct and indirect consequences on the economy and national security. Analy...
160
click to vote
ICDCSW
2006
IEEE
16 years 20 days ago
2006
IEEE
Software systems need to adapt as requirements change, environment conditions vary, and bugs are discovered and fixed. In context of verification of these adaptive systems, the ...
160
click to vote
VTC
2006
IEEE
16 years 18 days ago
2006
IEEE
— We focus in this paper on the cross-layer modeling of the integration of streaming and elastic flows in the downlink of UMTS/HSDPA systems. Streaming flows are transported ov...
161
click to vote
AAAI
2006
15 years 8 months ago
2006
Unmotivated students do not reap the full rewards of using a computer-based intelligent tutoring system. Detection of improper behavior is thus an important component of an online...
146
click to vote
AROBOTS
2008
15 years 6 months ago
2008
This paper addresses the modeling of the static and dynamic parts of the scenario and how to use this information with a sensor-based motion planning system. The contribution in th...