11231 search results - page 1954 / 2247 » Digging for Data Structures |
133
Voted
RT
2001
Springer
15 years 8 months ago
2001
Springer
Abstract. We present a new data structure for encoding the appearance of a geometric model as seen from a viewing region (view cell). This representation can be used in interactive...
133
Voted
SEMWEB
2001
Springer
15 years 8 months ago
2001
Springer
Resolving heterogeneity among information systems is a crucial necessity if we wish to gain value from the many distributed resources available to us. Problems of heterogeneity in ...
153
click to vote
TACAS
2001
Springer
15 years 8 months ago
2001
Springer
Multi-valued logics support the explicit modeling of uncertainty and disagreement by allowing additional truth values in the logic. Such logics can be used for verification of dyn...
132
Voted
ACSAC
2000
IEEE
15 years 8 months ago
2000
IEEE
We present a vision of computing environments in which enterprise networks are built using untrusted public infrastructures. The vision allows for networks to dynamically change d...
106
click to vote
APSEC
2000
IEEE
15 years 8 months ago
2000
IEEE
Current object-oriented formalisms, such as UML, focus on describing class models and use instance models only for depicting scenarios. Little attention is being devoted to defini...