2451 search results - page 309 / 491 » The Octagon Abstract Domain |
138
click to vote
EKAW
1999
Springer
15 years 8 months ago
1999
Springer
: The aim of this paper is to present an approach and automated tools for designing knowledge bases describing the contents of information sources in PICSEL2 knowledgediators. We a...
140
click to vote
UML
1999
Springer
15 years 8 months ago
1999
Springer
Abstract. The acceptance of UML as a de facto standard for the design of object-oriented systems, together with the explosive growth of the World Wide Web has raised the need for U...
145
click to vote
HT
1998
ACM
15 years 8 months ago
1998
ACM
The historical development of hypermedia systems can be rized as a series of successive abstractions of functionality away from the "core" hypermedia server, often resul...
161
click to vote
IFL
1998
Springer
15 years 8 months ago
1998
Springer
Abstract. In this report a new backward strictness analysis for functional languages is presented. It is called higher order demand propagation and is applicable to a realistic non...
192
click to vote
ECMDAFA
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. Design patterns are templates of general solutions to commonlyoccurring problems in the analysis and design of software systems. In mature development processes, engineer...