2268 search results - page 250 / 454 » The Essence of Form Abstraction |
115
click to vote
CADE
2006
Springer
16 years 2 months ago
2006
Springer
Abstract. We extend our previous study of the automatic construction of isomorphic classification theorems for algebraic domains by considering the isotopy equivalence relation. Is...
187
Voted
SIGMOD
2007
ACM
16 years 1 months ago
2007
ACM
Traditional client-server applications relegate query and persistence operations on their data to database systems. The database system operates on data in the form of rows and ta...
109
click to vote
EDBT
2006
ACM
16 years 1 months ago
2006
ACM
In this paper, we propose a novel client-side, multi-granularity caching scheme, called "Complementary Space Caching" (CS caching), for location-based services in mobile ...
ICSE
2007
IEEE-ACM
16 years 1 months ago
2007
IEEE-ACM
This paper presents data from a four month ethnographic study of professional pair programmers from two software development teams. Contrary to the current conception of pair prog...
108
click to vote
ICFP
2001
ACM
16 years 1 months ago
2001
ACM
The categorical notion of monad, used by Moggi to structure denotational descriptions, has proved to be a powerful tool for structuring combinator libraries. Moreover, the monadic...