416 search results - page 51 / 84 » Modeling Input Validation in UML |
CHI
2007
ACM
14 years 8 months ago
2007
ACM
This paper presents a quantitative human performance model of making single-stroke pen gestures within certain error constraints in terms of production time. Computed from the pro...
DATE
2009
IEEE
14 years 2 months ago
2009
IEEE
—This paper describes a waveform compression technique suitable for the efficient utilization, storage and interchange of the emerging current source model (CSM) based cell libra...
DATE
2007
IEEE
14 years 2 months ago
2007
IEEE
This paper introduces a method and tool-support for the automatic analysis and verification of hybrid and embedded control systems, whose continuous dynamics are often modelled u...
CCE
2006
13 years 7 months ago
2006
7 A flue gas washer is a plant for the absorption of noxious components of industrial gas output. The type of flue gas washers that is considered here is a spray tower. In the towe...
EPEW
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. RAID systems are ubiquitously deployed in storage environments, both as standalone storage solutions and as fundamental components of virtualised storage platforms. Accur...