Sciweavers

4348 search results - page 362 / 870
» Using UML for Modeling Complex Real-Time Systems
Sort
View
SEW
2005
IEEE
16 years 10 days ago
Using Visualization to Understand Dependability: A Tool Support for Requirements Analysis
Dealing with dependability requirements is a complex task for stakeholders and analysts as many different aspects of a system must be taken into account at the same time: services...
Paolo Donzelli, Daniel Hirschbach, Victor R. Basil...
IJIT
2004
15 years 8 months ago
On proposing a Markup Language for Statecharts to be used in Performance Evaluation
Statecharts have been originally created to specify complex reactive systems for use in simulating real-time applications. They extend state transition diagrams with notons of hier...
A. S. M. S. Amaral, R. R. Veloso, Nandamudi Lankal...
RE
2002
Springer
15 years 6 months ago
On the Use of Visualization in Formal Requirements Specification
A limiting factor in the industrial acceptance of formal specifications is their readability, particularly for large, complex engineering systems. We hypothesize that multiple vis...
Nicolas Dulac, Thomas Viguier, Nancy G. Leveson, M...
ICHIM
2001
190views more  ICHIM 2001»
15 years 8 months ago
Chromatic Adaptation Post-Filtering in Image Synthesis Reproduction of Ancient Building for Restoration Support
Within the field of cultural heritage restoration, experts are interested in the analysis of data describing the condition and history of ancient monuments. Data are usually distr...
Maurizio Rossi, Daniele Marini, Alessandro Rizzi
CHI
2009
ACM
16 years 7 months ago
Predicting query reformulation during web searching
This paper reports results from a study in which we automatically classified the query reformulation patterns for 964,780 Web searching sessions (composed of 1,523,072 queries) in...
Bernard J. Jansen, Danielle L. Booth, Amanda Spink