2214 search results - page 346 / 443 » Complexity of Reasoning |
120
click to vote
KBS
2008
15 years 3 months ago
2008
As the number of available Web services increases there is a growing demand to realise complex business processes by combining and reusing available Web services. In this context,...
135
Voted
JOLLI
2006
15 years 3 months ago
2006
Abstract. In this paper we study families of resource aware logics that explore resource restriction on rules; in particular, we study the use of controlled cut-rule and introduce ...
156
click to vote
JSS
2006
15 years 3 months ago
2006
Model is a kind of codified knowledge that has been verified in solving problems. Solving a complex problem usually needs a set of models. Using components, the composition of a s...
113
click to vote
FMSD
2007
15 years 3 months ago
2007
Real-time embedded systems are often specified as a collection of independent tasks, each generating a sequence of event-triggered code blocks, and the scheduling in this domain ...
122
click to vote
SOCO
2008
Springer
15 years 3 months ago
2008
Springer
Abstract. The use of XML as a format for message exchange makes Web services well suited for composition of heterogeneous components. However, since clients must manage differences...