2867 search results - page 474 / 574 » Effectiveness of Index Expressions |
APLAS
2005
ACM
15 years 3 months ago
2005
ACM
Many problems in program analysis can be expressed naturally and concisely in a declarative language like Datalog. This makes it easy to specify new analyses or extend or compose e...
HT
2005
ACM
15 years 3 months ago
2005
ACM
When reflecting on information, spatial hypermedia users express their understanding of the information’s structure visually. In order to facilitate this process, spatial hyperm...
130
click to vote
CD
2005
Springer
15 years 3 months ago
2005
Springer
Recent studies showed potential for using component frameworks for building flexible adaptible applications for deployment in distributed environments. However this approach is h...
CISC
2005
Springer
15 years 3 months ago
2005
Springer
The formal analysis of cryptographic protocols has developed into a comprehensive body of knowledge, building on a wide variety of formalisms and treating a diverse range of securi...
COSIT
2005
Springer
15 years 3 months ago
2005
Springer
How can the usability of distributed and heterogeneous geographic data sets be enhanced? Semantic interoperability is a prerequisite for effectively finding and accessing relevant ...