Sciweavers

4924 search results - page 720 / 985
» A Software System for Spatial Data Analysis and Modeling
Sort
View
JSS
2010
120views more  JSS 2010»
15 years 5 months ago
An evaluation of timed scenario notations
There is a general consensus on the importance of good Requirements Engineering (RE) for achieving high quality software. The modeling and analysis of requirements have been the m...
Jameleddine Hassine, Juergen Rilling, Rachida Dsso...
RTCSA
2005
IEEE
16 years 24 days ago
RTPS Middleware for Real-Time Distributed Industrial Vision Systems
Designing and constructing Real-Time Distributed Industrial Vision Systems (RT-DIVS) from scratch is very complicated task. RT-DIVS has Conflicting requirements such as reasonable...
Basem Almadani
ENTCS
2002
145views more  ENTCS 2002»
15 years 7 months ago
Combining Monitors for Runtime System Verification
Runtime verification permits checking system properties that cannot be fully verified off-line. This is particularly true when the system includes complex third-party components, ...
Joshua Levy, Hassen Saïdi, Tomás E. Ur...
APVIS
2009
15 years 8 months ago
Visual support for the understanding of simulation processes
Current visualization systems are typically based on the concept of interactive post-processing. This decoupling of data visualization from the process of data generation offers a...
Andrea Unger, Heidrun Schumann
IV
2007
IEEE
155views Visualization» more  IV 2007»
16 years 1 months ago
Navani: Navigating Large-Scale Visualisations with Animated Transitions
When visualising datasets that are too large to be displayed in their entirity, interactive navigation is a common solution. However, instantaneous updates of the visualisation wh...
Kevin Pulo