Sciweavers

349 search results - page 7 / 70
» Visual Timed Event Scenarios
Sort
View
ISORC
2005
IEEE
14 years 1 months ago
Model-Checking of Component-Based Event-Driven Real-Time Embedded Software
As complexity of real-time embedded software grows, it is desirable to use formal verification techniques to achieve a high level of assurance. We discuss application of model-ch...
Zonghua Gu, Kang G. Shin
TVCG
2010
165views more  TVCG 2010»
13 years 5 months ago
A Visual Backchannel for Large-Scale Events
—We introduce the concept of a Visual Backchannel as a novel way of following and exploring online conversations about large-scale events. Microblogging communities, such as Twit...
Marian Dörk, Daniel M. Gruen, Carey Williamso...
CGI
2006
IEEE
14 years 1 months ago
Spatio-temporal Visualization of Battlefield Entities and Events
In this work, we address visualization of spatio-temporal data for military application. Four different visualization prototypes have been developed to track the movement of milita...
Qiyue Fong, Foo Meng Ng, Zhiyong Huang
LCN
2006
IEEE
14 years 1 months ago
Modelling Voice Communication in Disaster Area Scenarios
This paper deals with voice communication models for disaster area scenarios. The goal is to design models that can be used to generate realistic push to talk traffic for single ...
Nils Aschenbruck, Michael Gerharz, Matthias Frank,...
WSC
1997
13 years 8 months ago
Visualizing Parallel Simulations in Network Computing Environments: A Case Study
Parallel discrete event simulation systems (PDES) are used to simulate large-scale applications such as modeling telecommunication networks, transportation grids, and battlefield...
Christopher D. Carothers, Brad Topol, Richard Fuji...