Sciweavers

5838 search results - page 231 / 1168
» A File System for System Programming in Ubiquitous Computing
Sort
View
131
Voted
FTDB
2007
95views more  FTDB 2007»
15 years 3 months ago
Architecture of a Database System
Database Management Systems (DBMSs) are a ubiquitous and critical component of modern computing, and the result of decades of research and development in both academia and industr...
Joseph M. Hellerstein, Michael Stonebraker, James ...
CIE
2007
Springer
15 years 10 months ago
RZ: A Tool for Bringing Constructive and Computable Mathematics Closer to Programming Practice
Realizability theory is not just a fundamental tool in logic and computability. It also has direct application to the design and implementation of programs, since it can produce co...
Andrej Bauer, Christopher A. Stone
147
Voted
MUE
2007
IEEE
128views Multimedia» more  MUE 2007»
15 years 10 months ago
Designing, Developing, and Evaluating Context-Aware Systems
Context and context-awareness have been central issues in ubiquitous computing research for the last decade. Advances with regard to context acquisition and activity recognition a...
Yoosoo Oh, Albrecht Schmidt, Woontack Woo
HOTOS
2003
IEEE
15 years 9 months ago
Magpie: Online Modelling and Performance-aware Systems
Understanding the performance of distributed systems requires correlation of thousands of interactions between numerous components — a task best left to a computer. Today’s sy...
Paul Barham, Rebecca Isaacs, Richard Mortier, Dush...
104
Voted
VRST
2005
ACM
15 years 9 months ago
Computing inverse kinematics with linear programming
Inverse Kinematics (IK) is a popular technique for synthesizing motions of virtual characters. In this paper, we propose a Linear Programming based IK solver (LPIK) for interactiv...
Edmond S. L. Ho, Taku Komura, Rynson W. H. Lau