11214 search results - page 1982 / 2243 » Just-in-time data structures |
SEMWEB
2001
Springer
15 years 4 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 ...
117
click to vote
TACAS
2001
Springer
15 years 4 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...
ACSAC
2000
IEEE
15 years 4 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...
APSEC
2000
IEEE
15 years 4 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...
112
click to vote
DATE
2000
IEEE
15 years 4 months ago
2000
IEEE
In [1], Murata et al introduced an elegant representation of block placement called sequence pair. All block placement algorithms which are based on sequence pairs use simulated a...