8928 search results - page 364 / 1786 » Modeling Current Events |
187
click to vote
CADE
2008
Springer
16 years 5 months ago
2008
Springer
Many safety- and security-critical systems are real-time systems and, as a result, tools and techniques for verifying real-time systems are extremely important. Simulation and test...
118
click to vote
ICCAD
1996
IEEE
15 years 9 months ago
1996
IEEE
Although numerous methods have been proposed for interconnect simulation, no single model exists for all kind of transmission line problems. This paper presents a new, single, gen...
116
click to vote
CHI
1992
ACM
15 years 8 months ago
1992
ACM
This paper describes a computational model of skilled use of a graphical user interface based on Kintsch's construction-integration theory [4, 8]. The model uses knowledge of...
162
click to vote
AAAI
1998
15 years 6 months ago
1998
One of the most important problems for an intelligent tutoring system is deciding how to respond when a student asks for help. Responding cooperatively requires an understanding o...
138
click to vote
CLEIEJ
2008
15 years 4 months ago
2008
E-mail services are essential in the Internet. However, the current e-mail architecture presents problems that open it to several threats. Alternatives have been proposed to solve...