Sciweavers

1816 search results - page 139 / 364
» Case study in modeling and simulation validation methodology
Sort
View
EMSOFT
2006
Springer
15 years 6 months ago
Reusable models for timing and liveness analysis of middleware for distributed real-time and embedded systems
Distributed real-time and embedded (DRE) systems have stringent constraints on timeliness and other properties whose assurance is crucial to correct system behavior. Formal tools ...
Venkita Subramonian, Christopher D. Gill, Cé...
APGV
2004
ACM
148views Visualization» more  APGV 2004»
15 years 10 months ago
A perceptually-inspired force model for haptic texture rendering
One of the most salient haptic characteristics of objects is surface texture. Psychophysics studies have identified several key factors that affect perception of roughness during...
Miguel A. Otaduy, Ming C. Lin
167
Voted
ICDAR
1999
IEEE
15 years 9 months ago
A Two-state Markov Chain Model of Degraded Document Images
We propose a two-state Markov chain model of degraded document images. The model generates random and burst noise to simulate isolated pixel reversal as well as blurring of a larg...
Shamik Sural, P. K. Das
PROFES
2009
Springer
15 years 9 months ago
The Waterfall Model in Large-Scale Development
Waterfall development is still a widely used way of working in software development companies. Many problems have been reported related to the model. Commonly accepted problems are...
Kai Petersen, Claes Wohlin, Dejan Baca
ECSCW
2003
15 years 6 months ago
Applying Cyber-Archaeology
Online spaces that enable public shared inter-personal communications are of significant social and economic importance. This paper outlines a theoretical model and methodology, la...
Quentin Jones