8766 search results - page 1205 / 1754 » Functional logic programming |
152
click to vote
JTAER
2007
15 years 6 months ago
2007
This article critically appraises business model challenges in implementing remote management functionalities. Remote management is believed to create new service opportunities an...
124
click to vote
JUCS
2007
15 years 6 months ago
2007
: In this paper we obtain new effective results on the Halpern iterations of nonexpansive mappings using methods from mathematical logic or, more specifically, proof-theoretic te...
247
click to vote
IFIPTM
2010
15 years 4 months ago
2010
Enforcing complex policies that span organizational domains is an open challenge. Current work on SOA policy enforcement splits security in logical components that can be distribut...
134
click to vote
SYNTHESE
2010
15 years 4 months ago
2010
This paper concentrates on some aspects of the history of the analytic-synthetic distinction from Kant to Bolzano and Frege. This history evinces considerable continuity but also ...
139
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
Term rewriting has a significant presence in various areas, not least in automated theorem proving where it is used as a proof technique. Many theorem provers employ specialised p...