4737 search results - page 586 / 948 » The LOGIC negotiation model |
195
click to vote
DSVIS
2008
Springer
15 years 9 months ago
2008
Springer
This paper reports on our experience in using the MuiCSer process framework for the redesign of the user interface for operating an industrial digital printing system. MuiCSer is c...
244
click to vote
CSREAPSC
2006
15 years 9 months ago
2006
Mobile users need lightweight devices with low energy consumption. When applications are executed on remote servers instead of locally on the end-user's device, the weight of...
254
click to vote
ICWS
2004
IEEE
15 years 9 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...
239
click to vote
GRID
2006
Springer
15 years 7 months ago
2006
Springer
Air Quality Forecasting (AQF) is a new discipline that attempts to reliably predict atmospheric pollution. An AQF application has complex workflows and in order to produce timely ...
182
click to vote
CORR
2004
Springer
15 years 7 months ago
2004
Springer
Hybrid systems are characterized by the hybrid evolution of their state: A part of the state changes discretely, the other part changes continuously over time. Typically, modern c...