7340 search results - page 423 / 1468 » The Behavior of Tutoring Systems |
182
click to vote
NDSS
2003
IEEE
16 years 3 days ago
2003
IEEE
System call interposition is a powerful method for regulating and monitoring application behavior. In recent years, a wide variety of security tools have been developed that use t...
189
Voted
HYBRID
2003
Springer
16 years 1 days ago
2003
Springer
Abstract. In this paper we investigate a new technique to determine whether an open continuous system behaves correctly for all admissible input signals. This technique is based on...
183
click to vote
IDEAL
2003
Springer
16 years 1 days ago
2003
Springer
This paper describes the multi-agent organization of a computer system that was designed to assist operators in decision making in the presence of emergencies. The application was ...
174
click to vote
ICRA
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper describes a set of tools that allows a developer to instrument an autonomous control system to log data at run-time and then analyze that data to verify correct program...
168
click to vote
CONCUR
2000
Springer
15 years 11 months ago
2000
Springer
Abstract. In this paper, we introduce weak bisimulation in the framework of Labeled Concurrent Markov Chains, that is, probabilistic transition systems which exhibit both probabili...