1700 search results - page 315 / 340 » Specifying and implementing refactorings |
ITICSE
2003
ACM
15 years 5 months ago
2003
ACM
Because the concept of program correctness is generally taught as an activity independent of the programming process, most introductory computer science (CS) students perceive it ...
102
click to vote
MM
2003
ACM
15 years 5 months ago
2003
ACM
This paper describes a novel methodology for implementing video search functions such as retrieval of near-duplicate videos and recognition of actions in surveillance video. Video...
104
click to vote
MM
2003
ACM
15 years 5 months ago
2003
ACM
Real-time content-based access to live video data requires content analysis applications that are able to process the video data at least as fast as the video data is made availab...
PLDI
2003
ACM
15 years 5 months ago
2003
ACM
Ensuring the correctness of multithreaded programs is difficult, due to the potential for unexpected and nondeterministic interactions between threads. Previous work addressed th...
89
Voted
SENSYS
2003
ACM
15 years 5 months ago
2003
ACM
Wireless sensor networks are often used in monitoring and control applications, where software running on generalpurpose computers “pull” information from remote sensors and ...