2478 search results - page 155 / 496 » Quadtrees as an Abstract Domain |
144
click to vote
ISORC
2009
IEEE
16 years 7 days ago
2009
IEEE
In the automotive domain, several loosely-coupled Architecture Description Languages (ADLs) compete to proet of abstract modeling and analysis services on top of the implementatio...
169
click to vote
SARA
2009
Springer
16 years 4 days ago
2009
Springer
We present algorithms for testing the satisfiability and finding the tightened transitive closure of conjunctions of addition constraints of the form ±x ± y ≤ d and bound co...
157
click to vote
IEEESCC
2008
IEEE
16 years 11 hour 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...
140
click to vote
SAS
2007
Springer
15 years 11 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...
161
click to vote
SEMWEB
2007
Springer
15 years 11 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...