247 search results - page 29 / 50 » Stable models and an alternative logic programming paradigm |
142
Voted
IJHPCN
2008
15 years 6 months ago
2008
: In this paper we introduce a novel web server architecture that combines the best aspects of both the multithreaded and the event-driven architectures, the two major existing alt...
151
click to vote
VMCAI
2009
Springer
16 years 26 days ago
2009
Springer
The Rely-Guarantee approach is a well-known compositional method for proving Hoare logic properties of concurrent programs. In this approach, predicates in the proof must be proved...
154
click to vote
PDP
2007
IEEE
16 years 9 days ago
2007
IEEE
This paper presents a programming language for parallel computing based on code annotations. It has similar goals and philosophy as OpenMP but it is more tightly coupled to the ob...
149
Voted
RR
2007
Springer
16 years 6 days ago
2007
Springer
Abstract. WSML presents a framework encompassing different language variants, rooted in Description Logics and (F-)Logic Programming. So far, the precise relationships between thes...
147
Voted
SEMWEB
2009
Springer
16 years 19 days ago
2009
Springer
Traditional object-oriented programming languages can be difficult to use when working with ontologies, leading to the creation of domain-specific languages designed specifically...