612 search results - page 40 / 123 » Bounded model checking for knowledge and real time |
FORTE
1997
14 years 11 months ago
1997
This paper presents a new approach to the task of passive protocol tracing. The method called FollowSM for the first time meets all requirements of practical in-field use, inclu...
HICSS
2002
IEEE
15 years 2 months ago
2002
IEEE
We describe our real time decision support system; a system that supports information gathering and managing of an investment portfolio. Our system uses the Object Oriented Bayesi...
106
click to vote
ISORC
2005
IEEE
15 years 3 months ago
2005
IEEE
One of the problems with Java for real-time systems is the unpredictable behavior of garbage collection (GC). GC introduces unexpected load and causes undesirable delays for real-...
PRDC
2005
IEEE
15 years 3 months ago
2005
IEEE
Although the main fault-tolerance techniques are known for a long time, there exists no consistent approach for implementing dependable applications in the sense that the fault-to...
CVPR
2005
IEEE
15 years 11 months ago
2005
IEEE
We present a real-time method for detecting deformable surfaces, with no need whatsoever for a priori pose knowledge. Our method starts from a set of wide baseline point matches b...