3765 search results - page 555 / 753 » Formal Methods for Systems Engineering Behavior Models |
176
click to vote
CGF
2002
15 years 6 months ago
2002
STRANDS are thin elastic solids that are visually well approximated as smooth curves, and yet possess essential physical behaviors characteristic of solid objects such as twisting...
226
click to vote
IESS
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. Embedded system design complexities are growing exponentially. Demand has increased for modeling techniques that can provide both accurate measurements of delay and fast ...
187
click to vote
TSE
1998
15 years 6 months ago
1998
—Scenarios are increasingly recognized as an effective means for eliciting, validating, and documenting software requirements. This paper concentrates on the use of scenarios for...
207
click to vote
IANDC
2007
15 years 6 months ago
2007
We define reactive simulatability for general asynchronous systems. Roughly, simulatability means that a real system implements an ideal system (specification) in a way that pre...
171
click to vote
ICCV
2007
IEEE
16 years 8 months ago
2007
IEEE
Path modeling for video surveillance is an active area of research. We address the issue of Euclidean path modeling in a single camera for activity monitoring in a multicamera vid...