445 search results - page 24 / 89 » A Systematic Construction of Abstract Domains |
FAW
2008
Springer
13 years 10 months ago
2008
Springer
Abstract. We study a constrained version of the shortest path problem in polygonal domains, in which the path must visit a given target polygon. We provide an efficient algorithm f...
UPP
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. System family engineering seeks to exploit the commonalities among systems from a given problem domain while managing the variabilities among them in a systematic way. In...
VL
2003
IEEE
14 years 2 months ago
2003
IEEE
One of the reputed advantages of end-user programming languages is that they support a given problem doh a set of programming abstractions that are “just right” for the end-us...
IICS
2010
Springer
14 years 24 days ago
2010
Springer
Abstract. The Domain Name System (DNS) has been the naming service of the Internet for more than 20 years. It is the foundation of virtually all other distributed service. The de...
ICDT
1997
ACM
14 years 1 months ago
1997
ACM
Abstract. The goal of this paper is to study tractable iteration mechanisms for bags. The presence of duplicates in bags prevents iteration mechanisms developed in the context of s...