1776 search results - page 206 / 356 » Using a Logic Programming Language with Persistence and Cont... |
133
Voted
DALT
2005
Springer
15 years 9 months ago
2005
Springer
We explore the suitability of Intensional Programming Paradigm for providing a programming model for coordinated problem solving in a multi-agent systems. We extend our previous wo...
123
Voted
AOSD
2010
ACM
15 years 10 months ago
2010
ACM
An important element of understanding a software code base is to identify the repetitive patterns of code it contains and how these evolve over time. Some patterns are useful to t...
154
Voted
ESOP
2005
Springer
15 years 9 months ago
2005
Springer
The notion of control dependence underlies many program analysis and transformation techniques used in numerous applications. Despite wide application, existing definitions and ap...
149
Voted
SEMWEB
2009
Springer
15 years 10 months ago
2009
Springer
RDF Schema (RDFS) as a lightweight ontology language is gaining popularity and, consequently, tools for scalable RDFS inference and querying are needed. SPARQL has become recently ...
128
Voted
OOPSLA
2004
Springer
15 years 9 months ago
2004
Springer
This paper describes a type system that is capable of expressing and enforcing immutability constraints. The specific constraint exis that the abstract state of the object to whi...