306 search results - page 38 / 62 » Dynamic Software Updates: The State Mapping Problem |
ECOOP
2000
Springer
14 years 23 days ago
2000
Springer
Modern software must evolve in response to changing conditions. In the most widely used programming environments, code is static and cannot change at runtime. This poses problems ...
TIP
2008
13 years 8 months ago
2008
This paper addresses object tracking in ultrasound images using a robust multiple model tracker. The proposed tracker has the following features: 1) it uses multiple dynamic models...
ISSTA
1998
ACM
14 years 20 days ago
1998
ACM
Symbolic model checking has proved highly successful for large nite-state systems, in which states can be compactly encoded using binary decision diagrams (BDDs) or their variants...
AUSAI
2009
Springer
14 years 3 months ago
2009
Springer
In P2P VoD streaming systems, user behavior modeling is critical to help optimise user experience as well as system throughput. However, it still remains a challenging task due to ...
UIST
2004
ACM
14 years 1 months ago
2004
ACM
Location-enhanced applications use the location of people, places, and things to augment or streamline interaction. Location-enhanced applications are just starting to emerge in s...