3828 search results - page 702 / 766 » Proof-Based System Engineering Using a Virtual System Model |
158
Voted
WSC
2007
15 years 4 months ago
2007
Large scale / mega projects are lengthy complex endeavors that require significant planning by management, engineers and construction personnel to ensure the success of the projec...
103
click to vote
WSC
1998
15 years 3 months ago
1998
Proof AnimationTM is a family of products for animating discrete event simulations. Proof is available in a variety of versions, including an inexpensive, student version, midsize...
119
Voted
ER
2010
Springer
15 years 22 days ago
2010
Springer
Abstract. Of particular concern in requirements engineering is the selection of requirements to implement in the next release of a system. To that end, there has been recent work o...
134
Voted
SIGSOFT
2007
ACM
16 years 2 months ago
2007
ACM
A software system interacts with third-party libraries through various APIs. Using these library APIs often needs to follow certain usage patterns. Furthermore, ordering rules (sp...
126
Voted
BMVC
2001
15 years 4 months ago
2001
The ability to construct CAD or other object models from edge and range data has a fundamental meaning in building a recognition and positioning system. While the problem of model...