596 search results - page 78 / 120 » On the Use of Visualization in Formal Requirements Specifica... |
181
click to vote
FM
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Linearizability is an important correctness criterion for implementations of concurrent objects. Automatic checking of linearizability is challenging because it requires ...
227
click to vote
SIGMOD
2008
ACM
16 years 6 months ago
2008
ACM
Schema mappings are logical assertions that specify the relationships between a source and a target schema in a declarative way. The specification of such mappings is a fundamenta...
201
click to vote
ICPR
2006
IEEE
16 years 7 months ago
2006
IEEE
This paper describes a robotic application that tracks a moving object by utilizing a mobile robot with multiple sensors. The robotic platform uses a visual camera to sense the mo...
180
click to vote
AVSS
2008
IEEE
16 years 15 days ago
2008
IEEE
Visual surveillance in outdoor environments requires the monitoring of both objects and events. The analysis is generally driven by the target application which, in turn, determin...
139
click to vote
HPCS
2007
IEEE
16 years 11 days ago
2007
IEEE
One of the challenges in the large-scale simulations required for many molecular systems (such as those of biological interested) is the recording, monitoring and visualization of...