652 search results - page 81 / 131 » Deriving Specifications of Dependable Systems: toward a Meth... |
CDC
2008
IEEE
15 years 4 months ago
2008
IEEE
— The voice-coil-motor is a widely used mechatronic device, which represents a typical electrodynamic actuator for machine tool axes, bonding machines and hydraulic/pneumatic val...
103
click to vote
CVPR
2003
IEEE
15 years 12 months ago
2003
IEEE
Cast shadows produce troublesome effects for video surveillance systems, typically for object tracking from a fixed viewpoint, since it yields appearance variations of objects dep...
DAC
2005
ACM
15 years 11 months ago
2005
ACM
System-level design methods specifically targeted towards multimedia applications have recently received a lot of attention. Multimedia workloads are known to have a high degree o...
JUCS
2008
14 years 10 months ago
2008
: Although usability evaluations have been focused on assessing different contexts of use, no proper specifications have been addressed towards the particular environment of academ...
FM
1999
Springer
15 years 2 months ago
1999
Springer
ÐIn this paper, we describe the incremental specification of a power transformer station controller using a controller synthesis methodology. We specify the main requirements as s...