2259 search results - page 245 / 452 » Separation and information hiding |
100
Voted
KBSE
1998
IEEE
15 years 5 months ago
1998
IEEE
In this paper we describe a tools environment which automates the validation and maintenance of a requirements model written in many-sorted first order logic. We focus on: a trans...
90
Voted
IDMS
1998
Springer
15 years 5 months ago
1998
Springer
This position paper advocates a possible bridging of multiple heterogeneous formats and interfaces for hypermedia data and metadata. Rather than one more text, bit-stream or proced...
99
Voted
ICDAR
1997
IEEE
15 years 4 months ago
1997
IEEE
Almost all document analysis approaches need to perform a global analysis of the page orientation as a separate process at an early stage. It would be preferable to estimate the o...
CSCW
1992
ACM
15 years 4 months ago
1992
ACM
Our work focuses on providing computational support for informal communication among people who are geographically separated. To better understand the use of artifacts in communic...
PLDI
1994
ACM
15 years 4 months ago
1994
ACM
Programslices have potentialuses in manysoftware engineering applications. Traditional slicing algorithms, however, do not work correctly on programs that contain explicit jump st...