5810 search results - page 322 / 1162 » An Approach to Programming Based on Concepts |
166
click to vote
MMM
2006
Springer
16 years 18 days ago
2006
Springer
In this publication, we apply the concept of foveal imaging to appropriately direct the attention of the viewer during browsing raster image contents. The proposed approaches are ...
170
click to vote
WICSA
2008
15 years 8 months ago
2008
Software architecture modeling and representation became a main phase of the development process of complex systems. In fact, software architecture representation provides many ad...
171
click to vote
EKAW
1999
Springer
15 years 11 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...
175
click to vote
AMAST
1998
Springer
15 years 10 months ago
1998
Springer
Abstract. This paper proposes a tool to support reasoning about (partial) correctness of constraint logic programs. The tool infers a speci cation that approximates the semantics o...
171
click to vote
ESOP
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. While a rigorous information flow analysis is a key step in obtaining meaningful end-to-end confidentiality guarantees, one must also permit possibilities for declassific...