3435 search results - page 321 / 687 » Aspect Model Unweaving |
158
click to vote
EUROMICRO
1998
IEEE
15 years 11 months ago
1998
IEEE
Transformational design is aformal technique directed at design correctness. It integrates design and veriJication by the use of pre-proven behaviour preserving transformations as...
167
click to vote
ESEC
1997
Springer
15 years 11 months ago
1997
Springer
Software architectures shift developers’ focus from lines-of-code to coarser-grained architectural elements and their interconnection structure. Architecture description language...
171
click to vote
SIGGRAPH
1994
ACM
15 years 10 months ago
1994
ACM
We present a general method for automatic reconstruction of accurate, concise, piecewise smooth surface models from scattered range data. The method can be used in a variety of ap...
237
click to vote
CAISE
2007
Springer
15 years 10 months ago
2007
Springer
The semantics of the OR-join in business process modeling languages like EPCs or YAWL have been discussed for a while. Still, the existing solutions suffer from at least one of two...
178
click to vote
CHINZ
2006
ACM
15 years 10 months ago
2006
ACM
Previous work discussed a model of cognitive distance with the novel concepts of "tech bias", "velocity" and "inertia". This paper examines the human...