740 search results - page 75 / 148 » Open Answer Set Programming with Guarded Programs |
ENTCS
2010
13 years 5 months ago
2010
Our goal is to provide a top-down approach to biomolecular computation. In spite of widespread discussion about connections between biology and computation, one question seems not...
CADE
2011
Springer
12 years 8 months ago
2011
Springer
Android is a programming language based on Java and an operating system for embedded or mobile devices whose upper layers are written in that language. It features an extended even...
ICSE
2007
IEEE-ACM
14 years 2 months ago
2007
IEEE-ACM
Mapping code elements in one version of a program to corresponding code elements in another version is a fundamental building block for many software engineering tools. Existing t...
ICLP
2007
Springer
13 years 12 months ago
2007
Springer
We present a static analysis that infers both upper and lower bounds on the usage that a logic program makes of a set of user-definable resources. The inferred bounds will in gener...
DKE
2010
13 years 8 months ago
2010
Workflow analysis is indispensable to capture modeling errors in workflow designs. While several workflow analysis approaches have been defined previously, these approaches do not...