3828 search results - page 484 / 766 » Proof-Based System Engineering Using a Virtual System Model |
160
click to vote
WSCG
2001
15 years 8 months ago
2001
In this paper we will be describing a new animation architecture and its implementation in our system LIVE. This model introduces a new blending layer approach which uses several ...
186
click to vote
SIGCOMM
2005
ACM
16 years 13 days ago
2005
ACM
We consider the problem of routing in a delay tolerant network (DTN) in the presence of path failures. Previous work on DTN routing has focused on using precisely known network dy...
198
click to vote
DSN
2007
IEEE
16 years 1 months ago
2007
IEEE
Dynamic Fault Trees (DFT) extend standard fault trees by allowing the modeling of complex system components’ behaviors and interactions. Being a high level model and easy to use...
203
click to vote
ASM
2010
ASM
15 years 10 months ago
2010
ASM
The B method is one of the most used formal methods, when reactive systems is under question, due to good support for refinement. However, obtaining the formal model from requireme...
187
click to vote
ICRA
2000
IEEE
15 years 11 months ago
2000
IEEE
The need to register data is abundant in applications such as: world modeling, part inspection and manufacturing, object recognition, pose estimation, robotic navigation, and reve...