9227 search results - page 1773 / 1846 » Developing Use Cases from Organizational Modeling |
134
click to vote
POPL
2000
ACM
15 years 7 months ago
2000
ACM
with existing analysis tools. Modular reasoning principles such as abstraction, compositional refinement, and assume-guarantee reasoning are well understood for architectural hiera...
134
click to vote
JCSC
2000
15 years 3 months ago
2000
A long range Laser Range Finder (LRF) is proposed and developed in this paper. A mathematical model, which relates the relation between object distance and Position Sensitive Dete...
153
click to vote
PAMI
2002
15 years 3 months ago
2002
Decomposing video frames into coherent two-dimensional motion layers is a powerful method for representing videos. Such a representation provides an intermediate description that e...
155
Voted
CODES
2009
IEEE
15 years 10 months ago
2009
IEEE
Time redundancy (rollback-recovery) and hardware redundancy are commonly used in real-time systems to achieve fault tolerance. From an energy consumption point of view, time redun...
139
click to vote
NIME
2005
Springer
15 years 9 months ago
2005
Springer
Pluck, ring, rub, bang, strike, and squeeze are all simple gestures used in controlling music. A single motor/encoder plus a force-sensor has proved to be a useful platform for ex...