5465 search results - page 296 / 1093 » Assigning Types to Processes |
144
click to vote
BIRTHDAY
2008
Springer
15 years 6 months ago
2008
Springer
We illustrate two ways to address the specification, modelling and analysis of dynamic software architectures using: i) ordinary typed graph transformation techniques implemented i...
136
click to vote
EUMAS
2006
15 years 5 months ago
2006
We introduce a new type of combinatorial auction that allows agents to bid for goods to buy, for goods to sell, and for transformations of goods. One such transformation can be se...
124
click to vote
COLING
1994
15 years 5 months ago
1994
In this paper, we propose an automatic method for detecting discourse structure using a variety of clues existing in the surface information of sentences. We have considered three...
MVA
1994
15 years 5 months ago
1994
Image processing technology plays an important part in the analysis and evaluation of pavement surface cracking. The pattern recognition method for crack geometry proposed in this...
CORR
2008
Springer
15 years 4 months ago
2008
Springer
: Business models involving buyers of digital goods in the distribution process are called superdistribution schemes. We review the state-of-the art of research and application of ...