2065 search results - page 304 / 413 » Using Architectural Models at Runtime: Research Challenges |
136
click to vote
DAC
2000
ACM
16 years 5 months ago
2000
ACM
Image computation is the key step in fixpoint computations that are extensively used in model checking. Two techniques have been used for this step: one based on conjunction of the...
145
click to vote
AVSS
2007
IEEE
15 years 11 months ago
2007
IEEE
This paper presents an abandoned item and illegally parked vehicle detection method for single static camera video surveillance applications. By processing the input video at diff...
118
click to vote
HICSS
2003
IEEE
15 years 9 months ago
2003
IEEE
This paper provides descriptive research about a successful collaborative vision development process undertaken for a regional United Way. The entire process from learning about t...
136
click to vote
CCR
2006
15 years 4 months ago
2006
A spirited panel was recently held at the 10th International Web Caching and Content Distribution workshop on the future of P2P in content distribution [1]. After more than ten ye...
161
click to vote
EWC
2007
15 years 4 months ago
2007
This paper presents research that led to the design and implementation of fast and interactive collision detection methods that can be used to identify and report undesirable conï¬...