3831 search results - page 559 / 767 » Dynamic Context Logic |
140
click to vote
ESWS
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. Semantic Web Services were developed with the goal of automating the integration of business processes on the Web. The main idea is to express the functionality of the se...
132
click to vote
FPL
2006
Springer
15 years 8 months ago
2006
Springer
This paper is concerned with the application of formal optimisation methods to the design of mixed-granularity FPGAs. In particular, we investigate the appropriate mix and floorpl...
133
click to vote
ERCIMDL
2009
Springer
15 years 7 months ago
2009
Springer
We report on the implementation of a software infrastructure for preservation actions, carried out in the context of the European Integrated Project Planets – the Planets Interop...
158
click to vote
BPM
2008
Springer
15 years 6 months ago
2008
Springer
Complex and flexible business processes are critical not only because they are difficult to handle, but also because they often tend to loose their intelligibility. Verifying compl...
165
click to vote
AIIA
2005
Springer
15 years 6 months ago
2005
Springer
In this paper we are interested in argument based reasoning for access control, for example in the context of agents negotiating access to resources or web services in virtual orga...