16702 search results - page 3199 / 3341 » Server operating systems |
131
click to vote
DBPL
1993
Springer
15 years 8 months ago
1993
Springer
This paper presents database applications of the recently proposed Transaction Logic—an extension of classical predicate logic that accounts in a clean and declarative fashion f...
132
click to vote
PODS
1994
ACM
15 years 8 months ago
1994
ACM
We present a typed polymorphic calculus that supports a general mechanism for view definition and object sharing among classes. In this calculus, a class can contain inclusion spe...
149
click to vote
SIGGRAPH
1994
ACM
15 years 8 months ago
1994
ACM
We describe a data visualization system based on spreadsheets. Cells in our spreadsheet contain graphical objects such as images, volumes, or movies. Cells may also contain widget...
171
click to vote
TACS
1994
Springer
15 years 8 months ago
1994
Springer
Abstract Interpretation for Control-Flow Analysis Yan Mei Tang and Pierre Jouvelot CRI, Ecole des Mines de Paris, France Effect systems and abstract interpretation are two methods ...
127
click to vote
ACMACE
2007
ACM
15 years 8 months ago
2007
ACM
We present a system that allows users of any skill to conduct a virtual orchestra. Tempo and volume of the orchestra's performance are influenced with a baton. Pinocchio work...