Sciweavers

301 search results - page 31 / 61
» Process Modelling to Support Dependability Arguments
Sort
View
APVIS
2006
15 years 1 months ago
Predicting graph reading performance: a cognitive approach
Performance and preference measures are commonly used in the assessment of visualization techniques. This is important and useful in understanding differences in effectiveness bet...
Weidong Huang, Seok-Hee Hong, Peter Eades
IEEESCC
2008
IEEE
15 years 6 months ago
A 3-level e-Business Registry Meta Model
Business partners willing to do business electronically with each other must reach an agreement (1) on the economic level, (2) on the inter-organizational process choreography, an...
Christian Huemer, Philipp Liegl, Rainer Schuster, ...
MASCOTS
2007
15 years 1 months ago
Network Performance Analysis based on Histogram Workload Models
Network performance analysis relies mainly on two models: a workload model and a performance model. This paper proposes to use histograms for characterising the arrival workloads ...
Enrique Hernández-Orallo, Joan Vila-Carb&oa...
ICST
2009
IEEE
14 years 9 months ago
Putting Formal Specifications under the Magnifying Glass: Model-based Testing for Validation
A software development process is conceptually an abstract form of model transformation, starting from an enduser model of requirements, through to a system model for which code c...
Emine G. Aydal, Richard F. Paige, Mark Utting, Jim...
ICONIP
2010
14 years 10 months ago
Complex Spiking Models: A Role for Diffuse Thalamic Projections in Complex Cortical Activity
Cortical activity exhibits complex, persistent self-sustained dynamics, which is hypothesised to support the brain’s sophisticated processing capabilities. Prior studies have sho...
Peter Stratton, Janet Wiles