279 search results - page 50 / 56 » Determinacy Inference for Logic Programs |
126
Voted
ESWS
2007
Springer
15 years 8 months ago
2007
Springer
WSML is an ontology language specifically tailored to annotate Web Services, and part of its semantics adheres to the rule-based knowledge representation paradigm of logic program...
135
Voted
ICSOC
2009
Springer
15 years 7 days ago
2009
Springer
Several activities in service oriented computing can benefit from knowing ahead of time future properties of a given service composition. In this paper we focus on how statically i...
104
Voted
IWMM
2007
Springer
15 years 8 months ago
2007
Springer
This article presents a heap space analysis for (sequential) Java bytecode. The analysis generates heap space cost relations which define at compile-time the heap consumption of ...
90
Voted
ICLP
1999
Springer
15 years 6 months ago
1999
Springer
This paper presents a programming language that includes paradigms that are usually associated with declarative languages, such as sets, rules and search, into an imperative (funct...
141
click to vote
CORR
2010
Springer
15 years 2 months ago
2010
Springer
Event-driven automation of reactive functionalities for complex event processing is an urgent need in today's distributed service-oriented architectures and Web-based event-d...