1064 search results - page 88 / 213 » Disjoint Systems (Extended Abstract) |
166
Voted
DAWAK
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. In the last years, extending OLAP (On-Line Analytical Processing) systems with spatial and temporal features has attracted the attention of of the GIS (Geographic Informa...
119
click to vote
CONCUR
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. We extend Kobayashi and Sumii’s type system for the deadlock-free π-calculus and develop a type reconstruction algorithm. Kobayashi and Sumii’s type system helps hig...
134
click to vote
FLOPS
1999
Springer
15 years 7 months ago
1999
Springer
Abstract. Subtyping tends to undermine the effects of parametric polymorphism as far as the static detection of type errors is concerned. Starting with this observation we present...
128
click to vote
PADL
1999
Springer
15 years 7 months ago
1999
Springer
Abstract. One important advantage of logic programming is that it allows the implicit exploitation of parallelism. Towards this goal, we suggest that or-parallelism can be efficien...
116
click to vote
EDBTW
2006
Springer
15 years 7 months ago
2006
Springer
Reactivity, the ability to detect and react to events, is an essential functionality in many information systems. In particular, Web systems such as online marketplaces, adaptive (...