16568 search results - page 3027 / 3314 » Structured Data on the Web |
146
click to vote
VISUALIZATION
2002
IEEE
15 years 9 months ago
2002
IEEE
Interactive visualization of large digital elevation models is of continuing interest in scientific visualization, GIS, and virtual reality applications. Taking advantage of the r...
138
click to vote
ICDT
2010
ACM
15 years 9 months ago
2010
ACM
We examine schema mappings from a type-theoretic perspective and aim to facilitate and formalize the reuse of mappings. Starting with the mapping language of Clio, we present a ty...
126
click to vote
TOOLS
2010
IEEE
15 years 9 months ago
2010
IEEE
Supporting read-only and side effect free execution has been the focus of a large body of work in the area of statically typed programming languages. Read-onlyness in dynamically t...
144
click to vote
SPAA
2010
ACM
15 years 9 months ago
2010
ACM
We explore the potential of hardware transactional memory (HTM) to improve concurrent algorithms. We illustrate a number of use cases in which HTM enables significantly simpler c...
156
click to vote
ECMDAFA
2010
Springer
15 years 9 months ago
2010
Springer
Use cases are commonly used to structure and document requirements while UML activity diagrams are often used to visualize and formalize use cases, for example to support automated...