Sciweavers

3843 search results - page 584 / 769
» System support for shared objects
Sort
View
POPL
2004
ACM
16 years 6 months ago
Principal typings for Java-like languages
The contribution of the paper is twofold. First, we define a general notion of type system equipped with an entailment relation between type environments; this generalisation serv...
Davide Ancona, Elena Zucca
MUM
2009
ACM
190views Multimedia» more  MUM 2009»
16 years 1 months ago
Handy feedback: connecting smart meters with mobile phones
Reducing their energy consumption has become an important objective for many people. Consumption transparency and timely feedback are essential to support those who want to adjust...
Markus Weiss, Friedemann Mattern, Tobias Graml, Th...
OOPSLA
1989
Springer
15 years 10 months ago
Static Type Inference for Parametric Classes
Method inheritance and data abstraction are central features of objectoriented programming that are attained through a hierarchical organization of classes. Recent studies have sh...
Atsushi Ohori, Peter Buneman
SAC
2000
ACM
15 years 10 months ago
Efficient and Flexible Web Access to Art-Historical Image Collections
Modern object-relational database systems are capable of managing multimedia data, e.g. image, video and audio. In this paper we study how such universal database systems can be u...
Matthias Wagner, Stefan Holland, Werner Kieß...
ECIS
2003
15 years 7 months ago
Leveraging organizational knowledge to formulate manufacturing strategy
This paper describes a web-based system that integrates knowledge management and decision-making features to enable short-term communities of practice develop manufacturing strate...
Nikos I. Karacapilidis, Emmanuel Adamides, Christi...