4126 search results - page 784 / 826 » Relationships with other Formalisms |
W4A
2005
ACM
14 years 1 months ago
2005
ACM
The need for providing learners with web-based learning content that match their accessibility needs and preferences, as well as providing ways to match learning content to userā...
WIDM
2005
ACM
14 years 1 months ago
2005
ACM
In XML retrieval, two distinct approaches have been established and pursued without much cross-fertilization taking place so far. On the one hand, native XML databases tailored to...
ADBIS
2005
Springer
14 years 1 months ago
2005
Springer
In todayās integrating information systems data fusion, i.e., the merging of multiple tuples about the same real-world object into a single tuple, is left to ETL tools and other ...
CAV
2005
Springer
14 years 1 months ago
2005
Springer
Model checking has proven to be an eļ¬ective technology for veriļ¬cation and debugging in hardware and more recently in software domains. We believe that recent trends in both th...
CCS
2005
ACM
14 years 1 months ago
2005
ACM
Protocols for authenticated key exchange (AKE) allow parties within an insecure network to establish a common session key which can then be used to secure their future communicati...