4211 search results - page 624 / 843 » Types as Abstract Interpretations |
142
click to vote
CAISE
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Ontologies play a relevant role to support service matchmaking in the discovery process. In fact, the elements used for service capability description refer to concepts t...
152
click to vote
ZUM
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Web-based applications are the most common form of distributed systems that have gained a lot of attention in the past ten years. Today many of us are relying on scores o...
112
click to vote
VRCAI
2004
ACM
15 years 10 months ago
2004
ACM
ion visualization is valuable in learning abstract ideas and new concepts. The existing technology for publishing online papers is lacking in terms of user interaction as well as ...
133
Voted
CAV
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Separation Logic consists of a Boolean combination of predicates of the form vi ≥ vj +c where c is a constant and vi, vj are variables of some ordered infinite type li...
134
Voted
OTM
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. The modeling, design, and implementation of inter-organizational systems (IOS) is a challenging new problem. In contrast to previous systems, where components have clearl...