2227 search results - page 193 / 446 » Reversibility and Models for Concurrency |
160
click to vote
CBSE
2009
Springer
15 years 11 months ago
2009
Springer
A challenge of componentizing legacy applications is to extract behavior specification of suggested components. It is desirable to preserve a relation between the original structur...
225
click to vote
DIAU
2000
Springer
15 years 11 months ago
2000
Springer
In multilaterally secure intrusion detection systems (IDS) anonymity and accountability are potentially conflicting requirements. Since IDS rely on audit data to detect violations...
179
click to vote
VISUALIZATION
1999
IEEE
15 years 11 months ago
1999
IEEE
In this paper we present a mesh compression method based on a multiresolution decomposition whose detail coefficients have a compact representation and thus smaller entropy than t...
158
click to vote
WCRE
1999
IEEE
15 years 11 months ago
1999
IEEE
The software clustering problem has attracted much attention recently, since it is an integral part of the process of reverse engineering large software systems. A key problem in ...
142
click to vote
LICS
1997
IEEE
15 years 10 months ago
1997
IEEE
The partial real line is the continuous domain of compact real intervals ordered by reverse inclusion. The idea is that singleton intervals represent total real numbers, and that ...