458 search results - page 33 / 92 » Monitoring of a Class of Timed Discrete Events Systems |
IKE
2004
13 years 10 months ago
2004
- Space weather refers to conditions on the sun and in the solar wind, magnetosphere, ionosphere, and thermosphere that can influence the performance and reliability of space-borne...
WSC
2000
13 years 10 months ago
2000
In this paper, we present a simulation testbed for wireless and mobile telecommunication systems, a two-stage PCS parallel simulation testbed which makes use of a conservative sch...
BIRTHDAY
2004
Springer
14 years 2 months ago
2004
Springer
In a reputation-based trust management system an entity’s behaviour determines its reputation which in turn affects other entities interaction with it. We present a mathematical...
ICALT
2010
IEEE
13 years 10 months ago
2010
IEEE
Student engagement is a pervasive and persistent goal for educators. In previous work we have reported that activities like public real-time commenting on videos can enhance studen...
JC
2000
13 years 8 months ago
2000
This paper provides verification procedures for a number of decision problems in quadratic function fields of odd characteristic, thereby establishing membership of these problems...