Sciweavers

6167 search results - page 1005 / 1234
» Can Refinement be Automated
Sort
View
RTAS
2003
IEEE
14 years 4 months ago
Tool Set Implementation for Scenario-based Multithreading of UML-RT Models and Experimental Validation
This paper presents our tool set implementation for scenario-based multithreading of object-oriented realtime models and an accompanying experimental validation. Our tools enable ...
Jamison Masse, Saehwa Kim, Seongsoo Hong
SEW
2003
IEEE
14 years 4 months ago
Instrumentation of Intermediate Code for Runtime Verification
Runtime monitoring is aimed at ensuring correct runtime behavior with respect to specified constraints. It provides assurance that properties are maintained during a given program...
Ann Q. Gates, Oscar Mondragon, Mary Payne, Steve R...
TPCG
2003
IEEE
14 years 4 months ago
Developing a Global Repository and Showplace for Imagery Data
This working in progress paper describes the development of a web service that provides a 3D (VRML) virtual environment for automated management and exhibition of imagery data. Wi...
Ann Smith, Min Chen, Mike F. Webster
TPHOL
2003
IEEE
14 years 4 months ago
MetaPRL - A Modular Logical Environment
MetaPRL is the latest system to come out of over twenty five years of research by the Cornell PRL group. While initially created at Cornell, MetaPRL is currently a collaborative p...
Jason Hickey, Aleksey Nogin, Robert L. Constable, ...
VISUALIZATION
2003
IEEE
14 years 4 months ago
Video Visualization
We present a feasibility study on using video visualization to aid snooker skill training. By involving the coaches and players in the loop of intelligent reasoning, our approach ...
Gareth Daniel, Min Chen
« Prev « First page 1005 / 1234 Last » Next »