2562 search results - page 111 / 513 » The Use of B2B Process Standards: A Case Study |
TSE
1998
14 years 9 months ago
1998
—This paper describes three case studies in the lightweight application of formal methods to requirements modeling for spacecraft fault protection systems. The case studies diffe...
UML
2001
Springer
15 years 2 months ago
2001
Springer
: This paper introduces the Calculating with Concepts (CC) technique, which has been developed to improve the precision of UML class diagrams and allows the formal reasoning based ...
CVPR
2010
IEEE
15 years 10 days ago
2010
IEEE
Abstract. This work addresses a class of total-variation based multilabeling problems over a spatially continuous image domain, where the data fidelity term can be any bounded fun...
SCFBM
2008
14 years 9 months ago
2008
Background: The construction of complex spatial simulation models such as those used in network epidemiology, is a daunting task due to the large amount of data involved in their ...
3DIM
2003
IEEE
15 years 3 months ago
2003
IEEE
We present a case study of scanning 3D objects for the purposes of education and public information. We begin by describing the original design of a 3D scanning system now in use ...