1404 search results - page 103 / 281 » On the Behavior of Complex Object-Oriented Systems |
145
click to vote
NDSS
2003
IEEE
15 years 10 months 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...
135
click to vote
ICRA
2002
IEEE
15 years 9 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...
130
click to vote
CONCUR
2000
Springer
15 years 9 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...
153
click to vote
CBSE
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. In this paper we focus on design of a class of distributed embedded systems that primarily perform real-time controlling tasks. We propose a two-layer component model for...
142
Voted
MVA
2000
15 years 6 months ago
2000
This paper describes a vision-based system for autonomous urban transport missions in outdoor environments. Specialized modules are implemented for particular tasks such as lane t...