13734 search results - page 443 / 2747 » Abstractions of data types |
143
click to vote
CAISE
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. Spreadsheets are one of the most popular end-users programming environment. Although spreadsheets provide an interactive interface for data manipulation and analysis, the...
170
click to vote
ICDE
2010
IEEE
2010
IEEE
Techniques for Efficiently Searching in Spatial, Temporal, Spatio-temporal, and Multimedia Databases
16 years 6 months ago
This tutorial provides a comprehensive and comparative overview of general techniques to efficiently support similarity queries in spatial, temporal, spatio-temporal, and multimedi...
161
click to vote
KBSE
2008
IEEE
16 years 1 months ago
2008
IEEE
Code completion is a widely used productivity tool. It takes away the burden of remembering and typing the exact names of methods or classes: As a developer starts typing a name, ...
166
click to vote
FOSSACS
2003
Springer
16 years 1 days ago
2003
Springer
We introduce the notion of containers as a mathematical formalisation of the idea that many important datatypes consist of templates where data is stored. We show that containers h...
183
click to vote
PPDP
2001
Springer
15 years 11 months ago
2001
Springer
We introduce a new system of trust analysis for concurrent and distributed systems using the π-calculus[13, 14, 15] as a modelling tool. A Type system using boolean annotations g...