351 search results - page 42 / 71 » Properties of Behavioural Model Merging |
148
click to vote
ACTAC
2006
15 years 4 months ago
2006
The surgery of fractured bones is often a very complex problem. That is the reason why it would be beneficial to create a geometric and mechanic model of the bones before surgical...
149
Voted
IM
2007
15 years 3 months ago
2007
Abstract. The web may be viewed as a graph each of whose vertices corresponds to a static HTML web page, and each of whose edges corresponds to a hyperlink from one web page to ano...
117
click to vote
CGF
2004
15 years 3 months ago
2004
Individually visible scratches, also called isolated scratches, are very common in real world surfaces. Although their microgeometry is not visible, they are individually percepti...
145
Voted
KBSE
2005
IEEE
15 years 9 months ago
2005
IEEE
The Nix software deployment system is based on the paradigm of transparent source/binary deployment: distributors deploy descriptors that build components from source, while clien...
149
Voted
FUIN
2008
15 years 4 months ago
2008
Abstract. Many formalisms use interleaving to model concurrency. To describe some system behaviours appropriately, we need to limit interleaving. For example, in a component-based ...