2448 search results - page 169 / 490 » The Octahedron Abstract Domain |
133
click to vote
IEEESCC
2008
IEEE
15 years 10 months ago
2008
IEEE
In this paper, we present a model-driven, domaincentric tool allowing the specification of service-oriented ions through abstract services composition. Executable applications, ma...
122
click to vote
SAS
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Developer-supplied data structure specifications are important to shape analyses, as they tell the analysis what information should be tracked in order to obtain the des...
140
click to vote
SEMWEB
2007
Springer
15 years 10 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...
156
click to vote
WWW
2005
ACM
15 years 10 months 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...
144
click to vote
APWEB
2005
Springer
15 years 10 months 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...