3566 search results - page 644 / 714 » Signed Logic Programs |
136
click to vote
SIGSOFT
2007
ACM
16 years 3 months ago
2007
ACM
This paper presents a specification-based approach for systematic testing of products from a software product line. Our approach uses specifications given as formulas in Alloy, a ...
110
click to vote
SIGSOFT
2006
ACM
16 years 3 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 ...
117
click to vote
WWW
2007
ACM
16 years 3 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 ...
124
click to vote
WWW
2004
ACM
16 years 3 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...
136
click to vote
CADE
2009
Springer
16 years 3 months ago
2009
Springer
Abstract. Polynomial constraint-solving plays a prominent role in several areas of engineering and software verification. In particular, polynomial constraint solving has a long an...