6554 search results - page 1150 / 1311 » Constraint Logic Programming |
117
click to vote
SIGSOFT
2006
ACM
16 years 4 months ago
2006
ACM
A method for extracting syntactic specifications from heapmanipulating code is described. The state of the heap is represented as an environment mapping each variable or field to ...
124
click to vote
WWW
2007
ACM
16 years 4 months ago
2007
ACM
As the data and ontology layers of the Semantic Web stack have achieved a certain level of maturity in standard recommendations such as RDF and OWL, the current focus lies on two ...
136
Voted
WWW
2004
ACM
16 years 4 months ago
2004
ACM
ReAgents are remotely executing agents that customize Web browsing for non-standard resource-limited clients. A reAgent is essentially a "one-shot" mobile agent that act...
116
click to vote
HPCA
2001
IEEE
16 years 4 months ago
2001
IEEE
The use of the Java programming language for implementing server-side application logic is increasing in popularity, yet there is very little known about the architectural require...
127
click to vote
ICALP
2009
Springer
16 years 4 months ago
2009
Springer
Abstract. Tile sets and tilings of the plane appear in many topics ranging from logic (the Entscheidungsproblem) to physics (quasicrystals). The idea is to enforce some global prop...