2451 search results - page 171 / 491 » The Octagon Abstract Domain |
196
click to vote
SEMWEB
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Design patterns are widely-used software engineering abstractions which define guidelines for modeling common application scenarios. Ontology design patterns are the ext...
214
click to vote
WWW
2005
ACM
16 years 19 days ago
2005
ACM
We propose a technique for the automated synthesis of new comeb services. Given a set of abstract BPEL4WS descriptions of component services, and a composition requirement, we aut...
182
click to vote
APWEB
2005
Springer
16 years 18 days ago
2005
Springer
Aspect-oriented programming (AOP) is a promising field for reducing application complexity. However, it has proven difficult to implement weavers for general purpose languages. Nev...
202
click to vote
ER
2004
Springer
16 years 14 days ago
2004
Springer
Abstract. Relationships are an essential part of the design of a database because they capture associations between things. Comparing and integrating relationships from heterogeneo...
220
click to vote
ESOP
2004
Springer
16 years 14 days ago
2004
Springer
Abstract. We show how to formalise a constraint-based data flow analysis in the specification language of the Coq proof assistant. This involves defining a dependent type of lat...