1315 search results - page 192 / 263 » Towards Requirements Engineering for Context Adaptive System... |
141
click to vote
CVPR
2000
IEEE
2000
IEEE
Statistical Modeling and Performance Characterization of a Real-Time Dual Camera Surveillance System
16 years 3 months ago
The engineering of computer vision systems that meet application speci c computational and accuracy requirements is crucial to the deployment of real-life computer vision systems....
129
click to vote
BMCBI
2007
15 years 1 months ago
2007
Background: An in-silico experiment can be naturally specified as a workflow of activities implementing, in a standardized environment, the process of data and control analysis. A...
SEFM
2006
IEEE
15 years 7 months ago
2006
IEEE
In this paper, we give a straightforward generalization of bisimulations to "bisimulations induced by a pair of relations" on the underlying action set. We establish tha...
ISSRE
2000
IEEE
15 years 6 months ago
2000
IEEE
A coverage testing tool ATACOBOL (Automatic Test Analysis for COBOL) that applies data flow coverage technique is developed for software development on IBM System/390 mainframe. W...
MOBIDE
1999
ACM
15 years 5 months ago
1999
ACM
With rapid advancement in technology, mobile devices are increasingly becoming the norm. These devices are characterized by their need to operate even when they are disconnected f...