612 search results - page 40 / 123 » Bounded model checking for knowledge and real time |
149
click to vote
FORTE
1997
15 years 7 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...
161
click to vote
HICSS
2002
IEEE
15 years 11 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...
176
click to vote
ISORC
2005
IEEE
15 years 11 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-...
175
click to vote
PRDC
2005
IEEE
15 years 11 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...
157
click to vote
CVPR
2005
IEEE
16 years 8 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...