19367 search results - page 155 / 3874 » Fine-Grain Process Modelling |
168
Voted
ICWS
2004
IEEE
15 years 4 months ago
2004
IEEE
This paper introduces a method for automatic composition of Semantic Web services using Linear Logic (LL) theorem proving. The method uses Semantic Web service language (DAML-S) f...
118
click to vote
INFOCOM
2010
IEEE
15 years 1 months ago
2010
IEEE
Abstract—We provide a formal model for the Change Management process for Enterprise IT systems, and develop change scheduling algorithms that seek to attain the “change capacit...
158
Voted
GI
2004
Springer
15 years 8 months ago
2004
Springer
The model driven development is an interested area among software engineers as well as the agile development. In fact, combining model driven and agile practices is an interesting ...
122
Voted
IWANN
2005
Springer
15 years 8 months ago
2005
Springer
Computing in nature as is the case with the human brain is an emerging research area in theoretical computer science. The present paper’s aim is to explore biological neural cell...
ACRI
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. Polymer injection in moulds with complicated shapes is common in todays industrial problems. A challenge is to optimize the mould design which leads to the most homogeneo...